Merged.

Author Pascal J. Bourguignon <pjb@informatimago.com>
Author date 2018-06-09 14:04:08
Author local date 2018-06-09 16:04:08 +0200
Committer Pascal J. Bourguignon <pjb@informatimago.com>
Committer date 2018-06-09 14:04:08
Committer local date 2018-06-09 16:04:08 +0200
Commit 56e3616a3b537ffe6ee1514b968155e5dc7dda29
Tree 4bfca37e39b29b4593443bdd3b4437bf04df5d8e
Parent 035401de6b5b152e1296130ac59a2fd00899f43b
Parent 36482157cc2b9c737ab155b12d79ba7079f569d9
Merged.
ViewGit