29 Jan
2020
29 Jan
'20
7:33 p.m.
It is not really fair to say that Krzysztof's bug report was "incorrect". But, sure it would have been more clear to omit referring to an unofficial repo. Regards, Neven