Commit bb9a9080dc0d432e867dbd2bd4bd3224ec6d9b42

Sylvain Becker 2019-02-07T16:13:25

Fix pointer warnings