Hi @edwinbrady! Can you please enable user tags/labels for the Idris-dev GH repo? It'll allow better triage, and reduce total # of issues.
@ulidtko Please can you ask on the mailing list with full details of what you’re after? It’s not obvious why it’ll help in 140 chars.
-
-
@edwinbrady OK, I'll try laterThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.