Merge branch 'master' of RISCI_ATOM/libreCMC into master
authorRISCI_ATOM <bob@bobcall.me>
Tue, 8 Aug 2017 00:25:36 +0000 (20:25 -0400)
committerGogs <gogs@fake.local>
Tue, 8 Aug 2017 00:25:36 +0000 (20:25 -0400)

Trivial merge