Merged.

Author Pascal J. Bourguignon <pjb@informatimago.com>
Author date 2019-08-27 13:35:59
Author local date 2019-08-27 15:35:59 +0200
Committer Pascal J. Bourguignon <pjb@informatimago.com>
Committer date 2019-08-27 13:35:59
Committer local date 2019-08-27 15:35:59 +0200
Commit 23f3e6a26c33603e07ee2776c9d728fc3f2e6f16
Tree ad1b6fa341f391c12a2a1baa62e077bd2b4ff566
Parent 398fd33532411df8aecd129671663cd5e38ac916
Parent e354286581026b8fa9723895c01ec2bd870ae0ad
Merged.
ViewGit