Merged.

Author Pascal J. Bourguignon <pjb@informatimago.com>
Author date 2018-11-18 23:43:59
Author local date 2018-11-19 00:43:59 +0100
Committer Pascal J. Bourguignon <pjb@informatimago.com>
Committer date 2018-11-18 23:43:59
Committer local date 2018-11-19 00:43:59 +0100
Commit 9f740ec438987d2ad47ee252a37b83a43c8f48f1
Tree 3f1bd7fb25ec7b05f824c0dd2998df1f0795c657
Parent 2c663e1e6629c63f1cfdc5d2a8e80c7311d31cd6
Parent c5dd8724c337e4784dd9dbd7cff64b5ac169d4e5
Merged.
ViewGit