Skip to content

Fix a dead link

Just a small fix, since irc.freenode.net doesn't lead anywhere. It seems that my text editor also deleted some trailing white spaces, without any consequence for the final HTML.

Merge request reports