3 avatar="http://cdn.libravatar.org/avatar/05fd8b33af7183342153e8013aa3713d"
5 date="2021-09-02T05:24:14Z"
7 I can confirm that commit 9595a247a seems to fix the test case with quickcheck random seed value 564957
8 (`--quickcheck-replay=564957`) on my Windows laptop.