Support UTF-8 labels throughout.#1021

tturocy wants to merge 1 commit into

mastergambitproject/gambit:masterfrom

issue_862gambitproject/gambit:issue_862Copy head branch name to clipboard