From: Francois Fleuret <francois@fleuret.org>
Date: Tue, 7 Aug 2018 13:59:41 +0000 (+0200)
Subject: Update.
X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=ec86ffb8d47ff8576492ad423b6f59368e83ae0c;hp=ec86ffb8d47ff8576492ad423b6f59368e83ae0c;p=scripts.git

Update.
---