22 Feb
2023
22 Feb
'23
11:15 a.m.
Hi all,
because you are developers, information about renaming git repository can
be important to you:
https://floss.social/@tde/109906150020499404
Cheers
--
Slávek