tree eb20acb2093728c18384c035fe717cb35f4ddf45
parent e99d904d9d7789124793fdc6319749bfe12333ca
author Nils Diewald <nils@diewald-online.de> 1417490804 +0000
committer Nils Diewald <nils@diewald-online.de> 1417490804 +0000

Still some problems with non-blocking search