]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Merge "(refs #7606) Timing with task name (Debug module)"
authorHannu Niemistö <hannu.niemisto@semantum.fi>
Tue, 7 Nov 2017 14:26:10 +0000 (16:26 +0200)
committerGerrit Code Review <gerrit2@www.simantics.org>
Tue, 7 Nov 2017 14:26:10 +0000 (16:26 +0200)

Trivial merge