re: #671 pingjockey

It says something about user preference deleted by something or other!

#include humor.h

He’s joking.