00:39 < ddnet-commits> [ddnet] def- closed pull request #527: Disallow compressed control messages (master...pr_no_compressed_control) https://git.io/v6EmJ
00:47 <+Henningstone> "closed pull request" is always a bit confusing... "merged" would do way better I think :o
18:02 <@Nimda> (wasntme) by fikmesån & snailx3 just released on Novice at 2016-08-13 17:59