Consistently use ZZ/QQ
instead of mix of ZZ/QQ
and FlintZZ/FlintQQ
#490
Job | Run time |
---|---|
2m 58s | |
2m 58s |
ZZ/QQ
instead of mix of ZZ/QQ
and FlintZZ/FlintQQ
#490
Job | Run time |
---|---|
2m 58s | |
2m 58s |