From: Jérôme Benoit <jerome.benoit@piment-noir.org>
Date: Thu, 15 Feb 2018 15:30:14 +0000 (+0100)
Subject: Remove a warning.
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=a2b1260fdc9092cc70f5b1ef760104c09d4f325a;hp=a2b1260fdc9092cc70f5b1ef760104c09d4f325a;p=TD_SE.git

Remove a warning.

Signed-off-by: Jérôme Benoit <jerome.benoit@piment-noir.org>
---