Skip to content

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

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 #2295

Annotations

1 warning

test (1.10, windows-latest)

succeeded Apr 17, 2024 in 10m 57s