On Oct 12, 2010, at 1:06 AM, Pauli Virtanen wrote: > Mon, 11 Oct 2010 23:30:31 +0200, Pierre GM wrote: >> Would any of you mind giving me commit rights on github? My handle is >> pierregm. Thanks a million in advance. > > Granted. Got it, thanks again! P.