Learn more about cloning repositories
You have read-only access
Merge pull request #2924 from martin-frbg/issue2920 Put back all symbols accidentally dropped in the reorganization of gensymbol
