1. 2011-01-14 Re: weird github capitalization problem Torsten_Bögersha 2. 2011-01-14 Re: weird github capitalization problem Torsten_Bögersha 3. 2011-01-07 Re: weird github capitalization problem Andreas Stricker 4. 2011-01-04 weird github capitalization problem bolfo