diff options
| -rw-r--r-- | doc/bugs/Assistant_merge_loop/comment_12_fc5ceb09cc358521b32877fe4b0fb821._comment | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/bugs/Assistant_merge_loop/comment_12_fc5ceb09cc358521b32877fe4b0fb821._comment b/doc/bugs/Assistant_merge_loop/comment_12_fc5ceb09cc358521b32877fe4b0fb821._comment new file mode 100644 index 000000000..7e0a534da --- /dev/null +++ b/doc/bugs/Assistant_merge_loop/comment_12_fc5ceb09cc358521b32877fe4b0fb821._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="EskildHustvedt" + ip="80.202.103.55" + subject="comment 12" + date="2014-07-19T06:22:57Z" + content=""" +This issue has been resolved for me. No new empty merges since 2014-07-12. +"""]] |