On Wed, 22 May 2013 21:09:22 +0200, David Fuhrmann <david.fuhrmann at gmail.com> wrote: >> And regardless, the patch has capitalization wrong. > > The capitalization is right No it is not. -- Rémi Denis-Courmont Sent from my collocated server