diff --git a/doc/bugs/WEBDAV_443.mdwn b/doc/bugs/WEBDAV_443.mdwn
index ffe1c0d189..cfde1a1a78 100644
--- a/doc/bugs/WEBDAV_443.mdwn
+++ b/doc/bugs/WEBDAV_443.mdwn
@@ -302,3 +302,6 @@ Some tests failed!
 > that does not support symlinks, and may be broken in some other way
 > as well, but is not relevant to this bug report.)
 > --[[Joey]] 
+
+> Closing this bug since the bug submitter cannot reproduce it and
+> had many problems that seems to point at a bad build. [[done]] --[[Joey]]