Files
Giacomo Vercesi d185fc80ac Rank: fix RankConvertibleTo with RootRank
RankConvertibleTo would be erroneously fail when used with a RootRank
either in the From or To template parameter.
2022-11-11 13:43:55 +01:00
..
2022-03-17 18:52:18 +01:00
2022-10-20 14:20:12 +02:00
2022-10-20 14:20:12 +02:00