From dbd60a4f78bac2d02f870266173d615dfdf77358 Mon Sep 17 00:00:00 2001 From: "https://www.google.com/accounts/o8/id?id=AItOawmWBvsZvSsAL8P2ye3F0OBStjFCVnOImzM" Date: Fri, 28 Nov 2014 18:23:47 +0000 Subject: [PATCH] removed --- .../comment_1_321b0611f82de329aaca4cd40d0e10b1._comment | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 doc/bugs/proxy_command_fails_on_Windows/comment_1_321b0611f82de329aaca4cd40d0e10b1._comment diff --git a/doc/bugs/proxy_command_fails_on_Windows/comment_1_321b0611f82de329aaca4cd40d0e10b1._comment b/doc/bugs/proxy_command_fails_on_Windows/comment_1_321b0611f82de329aaca4cd40d0e10b1._comment deleted file mode 100644 index 775d3b1df0..0000000000 --- a/doc/bugs/proxy_command_fails_on_Windows/comment_1_321b0611f82de329aaca4cd40d0e10b1._comment +++ /dev/null @@ -1,8 +0,0 @@ -[[!comment format=mdwn - username="https://www.google.com/accounts/o8/id?id=AItOawmWBvsZvSsAL8P2ye3F0OBStjFCVnOImzM" - nickname="Jarno" - subject="Not a bug" - date="2014-11-28T16:48:22Z" - content=""" -Turns out this was **not a Git Annex bug**, but a symptom of not restarting \"git shell\"s (or Windows) after Git Annex upgrade. Apparently it sets some paths that don't take effect before a relogin. -"""]]