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