From: Francois Fleuret <francois@fleuret.org>
Date: Mon, 27 Aug 2018 05:55:21 +0000 (+0200)
Subject: Minor change.
X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=commitdiff_plain;h=76adf091bf41d79feea5a967a7d8b942ec1f1391;hp=76adf091bf41d79feea5a967a7d8b942ec1f1391;p=dus.git

Minor change.
---