From: Philipp Takacs Date: Sun, 30 Dec 2018 01:37:25 +0000 (+0100) Subject: Merge branch 'pick' into master X-Git-Tag: mmh-0.4~10 X-Git-Url: http://git.marmaro.de/?a=commitdiff_plain;h=c5368b86d4a3a42f9efe8aa56374d953a7faa9a4;p=mmh Merge branch 'pick' into master scan and pick is merged and pick matching is streamlined --- c5368b86d4a3a42f9efe8aa56374d953a7faa9a4