10 Oct
2018
10 Oct
'18
4:39 p.m.
On Thursday, 6 September 2018 17:13:23 CEST Pino Toscano wrote:
What do you think? Is it an acceptable path forward?
Considering there seems consensus on this solution, how do we move forward? Should I fix the repository, publish it somewhere (github or so), and somebody will replace it server-side? Thanks, -- Pino Toscano