Merge branch 'python3'
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 7 Jan 2019 09:34:00 +0000 (10:34 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 7 Jan 2019 09:34:00 +0000 (10:34 +0100)

Trivial merge