From dec9e5ff0ec5d27d022c72618420606d495e01bd Mon Sep 17 00:00:00 2001 From: "https://www.google.com/accounts/o8/id?id=AItOawnmF_9CAtfqdZkC4e-_dCX-rK5bqh4RWkw" Date: Fri, 16 Jan 2015 20:14:32 +0000 Subject: [PATCH] Added a comment: Thanks and question --- ...comment_1_c40db66d48d69d03847d73154faf3f59._comment | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 doc/bugs/Build_fails_when_no_wget_avalible/comment_1_c40db66d48d69d03847d73154faf3f59._comment diff --git a/doc/bugs/Build_fails_when_no_wget_avalible/comment_1_c40db66d48d69d03847d73154faf3f59._comment b/doc/bugs/Build_fails_when_no_wget_avalible/comment_1_c40db66d48d69d03847d73154faf3f59._comment new file mode 100644 index 0000000000..02888728ab --- /dev/null +++ b/doc/bugs/Build_fails_when_no_wget_avalible/comment_1_c40db66d48d69d03847d73154faf3f59._comment @@ -0,0 +1,10 @@ +[[!comment format=mdwn + username="https://www.google.com/accounts/o8/id?id=AItOawnmF_9CAtfqdZkC4e-_dCX-rK5bqh4RWkw" + nickname="Carl" + subject="Thanks and question" + date="2015-01-16T20:14:32Z" + content=""" +Thanks for the quick fix. + +Is there any advantage in using wget over curl, for git-annex (when it comes to progress bars etc or are they just as good? +"""]]