30 Jan
2020
30 Jan
'20
3:33 a.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