Closed RiccardoGrigoletto closed 3 years ago
Also, if you fix stuff from the comments you could mark the comments as resolved. That makes it easier to keep track of what still needs to be done.