]> gerrit.simantics Code Review - simantics/platform.git/commitdiff
Improve startup time for fresh or rollback'd session in index writing 36/1536/3
authorjsimomaa <jani.simomaa@gmail.com>
Thu, 8 Mar 2018 11:56:30 +0000 (13:56 +0200)
committerJani Simomaa <jani.simomaa@semantum.fi>
Thu, 8 Mar 2018 17:09:22 +0000 (19:09 +0200)
refs #7806

Change-Id: I44ea1e0972bfd360b6af44dbbe62e934e06c59e0


No differences found