1. 2010-08-31 Re: [RFD PATCH] Documentation: remove git-tools git Jonathan Nieder 2. 2010-08-31 [RFD PATCH] Documentation: remove git-tools git Michael J Gruber