[[!comment format=mdwn
 username="jkniiv"
 avatar="http://cdn.libravatar.org/avatar/05fd8b33af7183342153e8013aa3713d"
 subject="comment 2"
 date="2021-09-02T05:24:14Z"
 content="""
I can confirm that commit 9595a247a seems to fix the test case with quickcheck random seed value 564957
(`--quickcheck-replay=564957`) on my Windows laptop.
"""]]
