Wed, 26 Dec 2018 12:02:13 +0000 Mario de Sousa merge
Wed, 26 Dec 2018 11:56:14 +0000 Mario de Sousa fix bug introduced in previous commit (force literals to unsigned log long)