Merged.

Author Pascal J. Bourguignon <pjb@informatimago.com>
Author date 2018-11-18 18:05:28
Author local date 2018-11-18 19:05:28 +0100
Committer Pascal J. Bourguignon <pjb@informatimago.com>
Committer date 2018-11-18 18:05:28
Committer local date 2018-11-18 19:05:28 +0100
Commit c5dd8724c337e4784dd9dbd7cff64b5ac169d4e5
Tree 0ece065e61a0c0f3e064ec39babb399035e03960
Parent adbc47354ea423d610692880e4474574228530f9
Parent a7d88eb4bfc072ce06ddbb6d9f2d7ae1ffd8ef5e
Merged.
ViewGit