From: Tuukka Lehtonen Date: Thu, 11 Oct 2018 12:52:33 +0000 (+0000) Subject: Merge "Log an error if there are two resources with the same GUID." X-Git-Tag: v1.43.0~136^2~333 X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=commitdiff_plain;h=71bdfa937786c8b8bc9f984c819ae9f9df09359b;p=simantics%2Fplatform.git Merge "Log an error if there are two resources with the same GUID." --- 71bdfa937786c8b8bc9f984c819ae9f9df09359b