Closed JuniorJPDJ closed 3 years ago
Removes issue tags from issues created by legacy bot and rewrites some TODOs. Closes: #2, #14, #8, #9
Removes issue tags from issues created by legacy bot and rewrites some TODOs. Closes: #2, #14, #8, #9