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)
commit0e1beb6f308da18b952e562b85504258d20ffcc7
tree99f56133ab440b6165d3bb0db8607c7021c5a03b
parentf44b287f8e36684607447beb05556f1a5a34d625
parentdbfd6b75305f6006a0c1e1d150c291875e5451d5
Merge pull request #1880 from jjj11x/duplicate_enum

duplicated enum item names should result in an error