0ebeb330afc6f66301f191f39a0ed0d883da0e40
this makes me sad.. you're one of our most important members :)
As explained on IRC, the issue was more the double ping. But since that seems to have been a mistake, I retract this PR.
Pull-Request has been closed by puiterwijk