j
k
j a
j l
3) The IRC bot on #ghc can now look up Trac tickets for you (this is mostly only relevant to those of us there) Sounds great. But how can we do this?
Janek
Back to the thread
Back to the list
