On Thu, Nov 05, 2020 at 06:51:20PM +0100, Miguel Ángel Arruga Vivas wrote: > Feel free to push these three together with the one for > German when you have it ready.
Pushed as fc8ec5409bd3d7221afc2f9feaac4ce36d5c1192 and following. Thank you for doing the work and thinking it through! Regards, Florian
