make the voting arbiter completely consider player names to be case-preserving yet case-insensitive.  all names are stored in the voting booth in lower case.
make the voting arbiter completely consider player names to be case-preserving yet case-insensitive.  all names are stored in the voting booth in lower case.


kongr45gpen/bzflag-import-1,kongr45gpen/bzflag-import-1,kongr45gpen/bzflag-import-1,kongr45gpen/bzflag-import-1,kongr45gpen/bzflag-import-1,kongr45gpen/bzflag-import-1