Merged.

Author Pascal J. Bourguignon <pjb@informatimago.com>
Author date 2018-11-21 10:28:26
Author local date 2018-11-21 11:28:26 +0100
Committer Pascal J. Bourguignon <pjb@informatimago.com>
Committer date 2018-11-21 10:28:26
Committer local date 2018-11-21 11:28:26 +0100
Commit 9e4fa739e2b6b49cafdb3e14a4b5b01f70c70c0f
Tree 54bf4d529aa2a681332ba250d23ea833af65ccf3
Parent 260d253f3463dac9b18e96c19e4a1bae11a9c3e0
Parent fad8aff49a6e666d73e75e1136a06627f4a31631
Merged.
ViewGit