Remove a warning.
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Fri, 11 Jan 2019 20:04:50 +0000 (21:04 +0100)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Fri, 11 Jan 2019 20:04:50 +0000 (21:04 +0100)
Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>

No differences found