some odd code was obviously broken, it was using a str variable and then
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 9 Apr 2019 20:06:44 +0000 (22:06 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 9 Apr 2019 20:06:44 +0000 (22:06 +0200)
checking if that was instance of .. str


No differences found