Merge pull request #1564 from googlefonts/retain_gids
authorBehdad Esfahbod <behdad@behdad.org>
Wed, 30 Jan 2019 22:17:59 +0000 (17:17 -0500)
committerGitHub <noreply@github.com>
Wed, 30 Jan 2019 22:17:59 +0000 (17:17 -0500)
[subset] Add --retain-gids option to the subsetter.


Trivial merge