Commit 13add98862efe69781a0693d9af2c45d235f1f43

Stefan Sperling 2019-10-15T11:12:56

fix interlocking between tog log and man threads during search