pull-tcg-20210113

Richard Henderson

@rth7680

4cacecaa · decodetree: Open files with encoding='utf-8' · Jan 13, 2021

Improvements to tcg constant handling.
Force utf8 for decodetree.