Le 21/11/2018 à 19:57, Thorsten Glaser a écrit : > Why don’t you just change the copyright file and upload a > fix instead of trying to weasel out causing a lengthy > discussion? That would save time.
I will when I have to update the package. But I disagree with the severity and the urgency. I have more pressing issues on my todo list and this bug is just a distraction. Emmanuel Bourg
