1 May
2018
1 May
'18
6:44 p.m.
On Tue, 01 May 2018 at 19:54:10, Nodiv Byzero wrote:
Should this information be added into INSTALL file?
A remark wouldn't hurt, I guess...