From: Francois Fleuret <francois@fleuret.org>
Date: Fri, 8 Jun 2018 18:40:26 +0000 (+0200)
Subject: Update.
X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=cabd80dd1cc5eb1263e18a395b05cc6d8279c073;hp=cabd80dd1cc5eb1263e18a395b05cc6d8279c073;p=scripts.git

Update.
---