Commit 6259a72636ebf9568c5c446b716d6775a22c09af

Sylvain Becker 2018-12-05T16:13:12

Warnings: fix a documentation warning and missing prototypes