24 Nov
2012
24 Nov
'12
8:24 p.m.
On Sat, Nov 24, 2012 at 4:48 PM, Juan Jose Garcia-Ripoll juanjose.garciaripoll@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/