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)
commit71bdfa937786c8b8bc9f984c819ae9f9df09359b
tree345606f17b8a34f89959896aae56d255655e176b
parente6ebe9cbd60de725e4c5e81da10e394835393f36
parent9872ffa2c8aa476434964118e6de68e7fd7c6bae
Merge "Log an error if there are two resources with the same GUID."