[tor-commits] [tor/master] git scripts: add maint/release-0.4.2.