ProfessorDey 9059d90a17 Quick fix for private tip message tagging ... For some reason User.tag includes username#1234, not just 1234 as one would expect, so quick fix so these display properly. Nothing complicated.		2018-04-10 17:03:33 +00:00
..
tipbot.js	Quick fix for private tip message tagging	2018-04-10 17:03:33 +00:00