tree 14ae680bec05b482e07ca7feb2d6495c5e0cfab1
parent 0fc7c3b7a9d97abc6dbdef4597fb41e3cce1d03f
author Nicola Ferraro <ni.ferraro@gmail.com> 1582293004 +0100
committer Nicola Ferraro <ni.ferraro@gmail.com> 1582298732 +0100

Related to #1190: do not patch if same content and split big tests