This repository has been archived by the owner on Feb 1, 2024. It is now read-only.

Merge pull request #2463 from suchapalaver/fix/partial-ord-implementa… #22

Job	Run time
build	14m 7s
	14m 7s

Provide feedback