Merge pull request #1880 from jjj11x/duplicate_enum
authorwhitequark <whitequark@whitequark.org>
Tue, 14 Apr 2020 12:39:28 +0000 (12:39 +0000)
committerGitHub <noreply@github.com>
Tue, 14 Apr 2020 12:39:28 +0000 (12:39 +0000)
duplicated enum item names should result in an error


Trivial merge