June 25, 2014
7:22 p.m.
To make it less likely for stray '’'s and similar characters to creep into the data in the future, I improved 'make check_character_set' to catch them with the attached patch, installed in the github experimental version.