-
Smerdyakov joined the channel
-
Smerdyakov has quit
-
hamiltont_away is now known as hamiltont
-
hamiltont is now known as hamiltont_away
-
Naoki joined the channel
-
Naoki has quit
-
Naoki joined the channel
-
Naoki joined the channel
-
Naoki has quit
-
FWBM-bot[FrameworkBenchmarks] achlipala opened pull request #1248: Ur/Web upgrade (master...master) http://git.io/5E6TwQ
-
Smerdyakov joined the channel
-
Smerdyakov has quit