Merge branch 'v1.4' of pi31415/libreCMC-cmh into v1.4
authorRISCI_ATOM <bob@bobcall.me>
Thu, 31 May 2018 16:39:57 +0000 (12:39 -0400)
committerGogs <gogs@fake.local>
Thu, 31 May 2018 16:39:57 +0000 (12:39 -0400)

Trivial merge