Merge branch 'pick' into master
authorPhilipp Takacs <philipp@bureaucracy.de>
Sun, 30 Dec 2018 01:37:25 +0000 (02:37 +0100)
committerPhilipp Takacs <philipp@bureaucracy.de>
Sun, 30 Dec 2018 01:37:25 +0000 (02:37 +0100)
scan and pick is merged and pick matching is streamlined


No differences found