From: Benjamin Auder Date: Thu, 6 Feb 2020 08:03:53 +0000 (+0100) Subject: merge with remote X-Git-Url: https://git.auder.net/images/pieces/%22%20%20VariantRules.getPpath%28board%5Bi%5D%5Bj%5D%29%20%20%20%22.svg?a=commitdiff_plain;h=HEAD;p=aggexp.git merge with remote --- d1ae093753e81f18ffeaced56ea74446c5922bd6