more tweaks for python3
authorparmentelat <thierry.parmentelat@inria.fr>
Mon, 10 Dec 2018 20:36:32 +0000 (21:36 +0100)
committerparmentelat <thierry.parmentelat@inria.fr>
Mon, 10 Dec 2018 20:38:52 +0000 (21:38 +0100)

No differences found