Merge "Log an error if there are two resources with the same GUID."
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Thu, 11 Oct 2018 12:52:33 +0000 (12:52 +0000)
committerGerrit Code Review <gerrit2@simantics>
Thu, 11 Oct 2018 12:52:33 +0000 (12:52 +0000)

Trivial merge