Merged.

Author Pascal J. Bourguignon <pjb@informatimago.com>
Author date 2019-06-16 08:02:41
Author local date 2019-06-16 10:02:41 +0200
Committer Pascal J. Bourguignon <pjb@informatimago.com>
Committer date 2019-06-16 08:02:41
Committer local date 2019-06-16 10:02:41 +0200
Commit e354286581026b8fa9723895c01ec2bd870ae0ad
Tree 85af8fae33a2588aa8d1b0ae8c4397b93c05ed1a
Parent a8868520c23e2d6b75cb9410fd456f0c4e9e9191
Parent 0bf99b9bb9ac025c79ecff03c5a524944e5757ac
Merged.
ViewGit