On 22/02/14 21:39, Paul Gevers wrote: > On 22-02-14 20:07, Emilio Pozuelo Monfort wrote: >> I'm not an orca user. > > Neither am I. > >> I think this is not a big deal and we can go ahead and upload Orca >> 3.10. > > Agreed. Let's go for it then. Thanks for your work! Regards, Emilio