Merge branch 'master' of git.piment-noir.org:Persons_Comparator
authorJérôme Benoit <jerome.benoit@piment-noir.org>
Thu, 10 Jan 2019 10:47:25 +0000 (11:47 +0100)
committerJérôme Benoit <jerome.benoit@piment-noir.org>
Thu, 10 Jan 2019 10:47:25 +0000 (11:47 +0100)
commit416b4c77ff435499154345f4992f27c12ac0933c
tree4dde85c81bbebbf9091c8c4a69ef6f63bb8499af
parentf1e9d6d2fcc7253b117278c4439b656a1e532e68
parent717545790ab42973994ea583199b44573daa5ca6
Merge branch 'master' of git.piment-noir.org:Persons_Comparator