On Thu, 1 Mar 2018 19:47:56 +0100, Mike Wey wrote:

On 01-03-18 16:13, Luís Marques wrote:
I've added those fixes to the 3.7 branch, and released 3.7.5.

Thanks!