version 0.8.4.1

fixed failing tool update
fixed NullpointerException caused by active ProgressMonitor calling GUI::dispose()
quiet mode is now really quiet and doesnt start to print any debug messages
modification of url at .git/config will now be no longer overriden

Contained in no branch
Contained in no tag