Hi,I was horrified this morning to discover that fplll 4.0.1-2, which was supposed to close bug #702898 (on fplll) was really closing bug #702056 (on polybori) : I put the wrong bug number in the changelog entry! :-(
What can I do to reopen the bug which was erroneously closed and close the bug that really was, to correct the situation?
I'm really sorry for the inconvenience, Snark on #debian-science