From 05a47b93d17592453180c1cd78daea21bb7fbc1b Mon Sep 17 00:00:00 2001
From: 
 "https://www.google.com/accounts/o8/id?id=AItOawmWBvsZvSsAL8P2ye3F0OBStjFCVnOImzM"
 <Jarno@web>
Date: Fri, 28 Nov 2014 18:25:40 +0000
Subject: [PATCH] Added a comment: Not a bug

---
 ...comment_1_f4cb0a0ab445a8e9993c6736a6e23887._comment | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 doc/bugs/proxy_command_fails_on_Windows/comment_1_f4cb0a0ab445a8e9993c6736a6e23887._comment

diff --git a/doc/bugs/proxy_command_fails_on_Windows/comment_1_f4cb0a0ab445a8e9993c6736a6e23887._comment b/doc/bugs/proxy_command_fails_on_Windows/comment_1_f4cb0a0ab445a8e9993c6736a6e23887._comment
new file mode 100644
index 0000000000..b242736df2
--- /dev/null
+++ b/doc/bugs/proxy_command_fails_on_Windows/comment_1_f4cb0a0ab445a8e9993c6736a6e23887._comment
@@ -0,0 +1,10 @@
+[[!comment format=mdwn
+ username="https://www.google.com/accounts/o8/id?id=AItOawmWBvsZvSsAL8P2ye3F0OBStjFCVnOImzM"
+ nickname="Jarno"
+ subject="Not a bug"
+ date="2014-11-28T18:25:40Z"
+ content="""
+This was, in fact, just an unclear error message. The command was missing \"git\", and so should have been:
+
+    $ git annex proxy -- git pull
+"""]]