windows build fix from jwodder
authorJoey Hess <joeyh@joeyh.name>
Mon, 15 Feb 2021 17:35:01 +0000 (13:35 -0400)
committerJoey Hess <joeyh@joeyh.name>
Mon, 15 Feb 2021 17:35:01 +0000 (13:35 -0400)
commit48310f2d558ca2eb1e2bbe5d06d72ef0bb510a47
treed084ddf82006a4fbfc401d44e03810f6d34be5a0
parent0cb2b1b1265b00a85a3a89a191b3c838c9c9f1e2
windows build fix from jwodder
Remote/Git.hs
doc/bugs/Windows_build_failing_as_of_commit_cb7bb3e.mdwn