id	summary	reporter	owner	description	type	status	priority	milestone	component	version	severity	resolution	keywords	cc
1744	Allow running jhalfs without wget	xry111	Pierre Labastie	"If wget does not exist but curl does, we can use ""curl -LO"" instead of wget.  Also if ""Retrieve source files"" is not selected we don't need to download a thing at all."	enhancement	closed	normal		jhalfs	GIT	normal	fixed