From: Paul Hänsch <paul@plutz.net>
Date: Thu, 19 Sep 2019 10:59:05 +0000 (+0200)
Subject: merge changes from master regarding keyboard settings and nodm
X-Git-Url: http://git.plutz.net/?a=commitdiff_plain;h=58733dd5d7eefabb11099543239255a15e8b5921;hp=58733dd5d7eefabb11099543239255a15e8b5921;p=blast

merge changes from master regarding keyboard settings and nodm
---