Merged.

Author Pascal J. Bourguignon <pjb@informatimago.com>
Author date 2019-08-27 13:32:05
Author local date 2019-08-27 15:32:05 +0200
Committer Pascal J. Bourguignon <pjb@informatimago.com>
Committer date 2019-08-27 13:32:05
Committer local date 2019-08-27 15:32:05 +0200
Commit 5edeb493fbdc59658037d53e46eb5fe34e692597
Tree ba5f4ce010880b8c2a163791b115ec04d7736d09
Parent 13515411c9404ce088cbba2ebd5110f48e7d223c
Parent 7de5cab1a7d22ea9e6d90d7d4ca76045bba5bb07
Merged.
ViewGit