Commit 73d93dbc380325c1fdbfd4502d747af40ef37cdd

Sylvain Becker 2021-01-05T12:20:02

Fix compilation on Window10 (see bug #5430)