Merge "(refs #7433) Fixed a bug in Left.equals"
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Wed, 16 Aug 2017 12:04:13 +0000 (15:04 +0300)
committerGerrit Code Review <gerrit2@www.simantics.org>
Wed, 16 Aug 2017 12:04:13 +0000 (15:04 +0300)

Trivial merge