Skip to content

Consistently use ZZ/QQ instead of mix of ZZ/QQ and FlintZZ/FlintQQ #490

Consistently use ZZ/QQ instead of mix of ZZ/QQ and FlintZZ/FlintQQ

Consistently use ZZ/QQ instead of mix of ZZ/QQ and FlintZZ/FlintQQ #490

Annotations

1 warning and 1 notice

compare-invalidations

succeeded Apr 18, 2024 in 2m 58s