Merged.

Author Pascal J. Bourguignon <pjb@informatimago.com>
Author date 2019-01-15 13:06:30
Author local date 2019-01-15 14:06:30 +0100
Committer Pascal J. Bourguignon <pjb@informatimago.com>
Committer date 2019-01-15 13:06:30
Committer local date 2019-01-15 14:06:30 +0100
Commit 63513edfa9130e20e7b54cbc5d1e4643b9d6072b
Tree 8365a8ca4398059107efef8c1c401b65dce0cf61
Parent 8711fda17da6bee4b13a8f4b57e4047d50d88c41
Parent 302f2b51695bb31a9897fd1a0fde97b0c26e853f
Merged.
ViewGit