diff --git a/doc/bugs/7.20181105+git172-g76fc9af4_not_buildable.mdwn b/doc/bugs/7.20181105+git172-g76fc9af4_not_buildable.mdwn index 16bc52ecdd..1902142b79 100644 --- a/doc/bugs/7.20181105+git172-g76fc9af4_not_buildable.mdwn +++ b/doc/bugs/7.20181105+git172-g76fc9af4_not_buildable.mdwn @@ -60,3 +60,4 @@ Annex/Ssh.hs:213:87: error: """]] +> [[fixed|done]] --[[Joey]]