From: Jérôme Benoit <jerome.benoit@piment-noir.org>
Date: Fri, 11 Jan 2019 20:04:50 +0000 (+0100)
Subject: Remove a warning.
X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=b4eb694d4fb81c92e694e72bec517559f2559faa;hp=b4eb694d4fb81c92e694e72bec517559f2559faa;p=Persons_Comparator.git

Remove a warning.

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