]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge branch 'master' into release/1.25.0
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Sun, 18 Dec 2016 23:23:46 +0000 (01:23 +0200)
committerTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Sun, 18 Dec 2016 23:23:46 +0000 (01:23 +0200)

Trivial merge