On 05/28/2012 07:56 AM, Daniel Baumann wrote: > On 05/25/2012 11:35 AM, Daniel Baumann wrote: >> thanks; mind applying it? > > done it myself now. sorry i didn't take immediate action. some days ago when i first checked the issue i had git config prbs that have since been resolved so i'll be able to commit editorial changes like this without delay in future. thanks, Ben