Commit 57b33b641c4fe9ecd381906cdc6fcf1187db2b1e

Stefan Sperling 2019-07-08T18:58:35

fix thread synchronization during 'tog log' search; more speed-up