This site requires JavaScript
W3C
FreeNode
Mozilla
w3 #html-wg
9 Apr 2018
No topic
09:23
gitbot
[html-tools] siusin opened pull request #7: fix a bug for section 4 (master...master)
w3c/html-tools #7
09:23
gitbot
[html-tools] siusin closed pull request #7: fix a bug for section 4 (master...master)
w3c/html-tools #7
17:15
dhgggg
ZM7040
3 years ago
«
4 months earlier
6 months later
»
today
»
Use dark theme
Use smaller text
Don't colourise nicknames
Use wider column for nicknames
Hide IRC bots
Don't desaturate bots
Close
╳