Merge pull request #66 from mortberg/shadowed
authorAnders Mörtberg <andersmortberg@gmail.com>
Thu, 8 Jun 2017 20:58:05 +0000 (22:58 +0200)
committerGitHub <noreply@github.com>
Thu, 8 Jun 2017 20:58:05 +0000 (22:58 +0200)
Check if some names were shadowed while loading a file


Trivial merge