tree e696a6350c8b2fee4789a1b939481e5ba67bff5a
parent cd73c0f25fec8686cf8263dd197ed51ecbcc1934
author Davyd McColl <davydm@gmail.com> 1658487588 +0200
committer Davyd McColl <davydm@gmail.com> 1658487588 +0200

:white_check_mark: prove that FixingFlags.All contains all other valid fixing flags