On Tue, Jul 28, 2020 at 11:44:25AM +0200, pelzflorian (Florian Pelz) wrote: > I will push the patch this evening.
Pushed as 68410f28e374c6b322fa69e1fbc5775e1bb0c8a4 (with minor changes to the commit message and a smaller diff of the PO file).
On Tue, Jul 28, 2020 at 11:44:25AM +0200, pelzflorian (Florian Pelz) wrote: > I will push the patch this evening.
Pushed as 68410f28e374c6b322fa69e1fbc5775e1bb0c8a4 (with minor changes to the commit message and a smaller diff of the PO file).