diff --git a/doc/bugs/Assistant_merge_loop/comment_7_7717d074611943b831f00ad10918b515._comment b/doc/bugs/Assistant_merge_loop/comment_7_7717d074611943b831f00ad10918b515._comment
new file mode 100644
index 0000000000..9c70f26463
--- /dev/null
+++ b/doc/bugs/Assistant_merge_loop/comment_7_7717d074611943b831f00ad10918b515._comment
@@ -0,0 +1,8 @@
+[[!comment format=mdwn
+ username="http://joeyh.name/"
+ ip="209.250.56.2"
+ subject="comment 7"
+ date="2014-07-15T19:15:13Z"
+ content="""
+This bug and the other one are fixed in 5.20140709. I assume that your `git log` dates from an earlier version.
+"""]]