diff options
| -rw-r--r-- | doc/news/version_5.20150113/comment_1_e1da6b6d532d8eb08373347de3a4f7ec._comment | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/news/version_5.20150113/comment_1_e1da6b6d532d8eb08373347de3a4f7ec._comment b/doc/news/version_5.20150113/comment_1_e1da6b6d532d8eb08373347de3a4f7ec._comment new file mode 100644 index 000000000..952865509 --- /dev/null +++ b/doc/news/version_5.20150113/comment_1_e1da6b6d532d8eb08373347de3a4f7ec._comment @@ -0,0 +1,9 @@ +[[!comment format=mdwn + username="anarcat" + subject="comment 1" + date="2015-01-13T18:09:52Z" + content=""" +> * sync: Fix an edge case where syncing in a bare repository would try to merge and so fail. + +i think i just saw that bug yesterday, glad to see it fixed so quickly! +"""]] |