From: Jérôme Benoit Date: Thu, 10 Jan 2019 10:47:25 +0000 (+0100) Subject: Merge branch 'master' of git.piment-noir.org:Persons_Comparator X-Git-Url: https://git.piment-noir.org/?a=commitdiff_plain;h=416b4c77ff435499154345f4992f27c12ac0933c;p=Persons_Comparator.git Merge branch 'master' of git.piment-noir.org:Persons_Comparator --- 416b4c77ff435499154345f4992f27c12ac0933c