]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge "Use Consumer interface instead of deprecated Callback interface"
authorTuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Thu, 7 Dec 2017 08:01:30 +0000 (10:01 +0200)
committerGerrit Code Review <gerrit2@www.simantics.org>
Thu, 7 Dec 2017 08:01:30 +0000 (10:01 +0200)

Trivial merge