From: Pat Thoyts <redacted>
Date: Mon, 3 Oct 2016 22:30:44 +0000 (+0100)
Subject: Merge branch 'pt/non-mouse-usage' into pu
X-Git-Url: http://git.99rst.org/?a=commitdiff_plain;h=99ba48e397995a4b06a57f78e5611a29d239e5ea;p=git.git

Merge branch 'pt/non-mouse-usage' into pu
---

99ba48e397995a4b06a57f78e5611a29d239e5ea