summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2013-10-25 17:13:58 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2013-10-25 17:13:58 +0100
commit07dae82c5b7d4c46e2f86b7af5b9a8d77096b788 (patch)
treeef7166cee2d74791b10b9ab328f2254de81795db /debian
parent85eb1b447f987dc7da3960dd0d078ad6b7d6dd6f (diff)
Remote push support seems to work. Closes:#721185.
Diffstat (limited to 'debian')
-rw-r--r--debian/changelog1
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog
index 8d87a03..ea55bd4 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -16,6 +16,7 @@ dgit (0.17~experimental4) experimental; urgency=low
that it Closes:#727125.
* Mention "git merge", not "git-merge", in helpful message.
Closes:#725632.
+ * Remote push support seems to work. Closes:#721185.
--