Remove TODO.hs?

Open adithyaov opened this issue 4 years ago • 0 comments

It's confusing to use both, TODO.hs, and the issue tracker. We can just use the tag to separate the TODO stuff.

Feb 01 '22 19:02 adithyaov