22 Jan
2021
22 Jan
'21
9:34 a.m.
Am Freitag, den 22.01.2021, 12:18 +0100 schrieb Alejandro Serrano Mena:
There are no more concerns left in the GitHub thread, and nobody has raised any concerns. I think this proposal is ready for merge.
Merged -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/