Le 09/08/2019 à 11:06, Santiago Vila a écrit : > Point releases exist to fix bugs like this one, so I don't see why I > would have to stop reporting them.
If you do so, please amend the existing bugs instead of opening new ones (in this case #909216 should have been unarchived and modified to change the package version). Emmanuel Bourg
