Merge pull request #600 from marshmellow42/master
authorIceman <iceman@iuse.se>
Sat, 5 May 2018 04:59:39 +0000 (06:59 +0200)
committerGitHub <noreply@github.com>
Sat, 5 May 2018 04:59:39 +0000 (06:59 +0200)
more graceful exit to lf search if no signal found


Trivial merge
Impressum, Datenschutz