On Sat, Nov 24, 2012 at 4:48 PM, Juan Jose Garcia-Ripoll <juanjose.garciaripoll at gmail.com> wrote: > I am just wondering whether this is a viable way to submit patches. Yes, it's fine. Thanks. -- Luís Oliveira http://r42.eu/~luis/