Re: [O] Org release 8.2.5g (minor release from maint)

[Bastien]

Hi Achim,

Thanks for reporting these problems.

Since you have commit access and the fixes seem non problematic,
I'd say feel free to fix them directly--reporting them if still
useful of course, it helps us not repeating them :)

Thanks,

-- 
 Bastien