Merge branch 'master' of RISCI_ATOM/libreCMC into master
authorlibreCMC <info@librecmc.org>
Sat, 19 Aug 2017 05:20:34 +0000 (01:20 -0400)
committerGogs <gogs@fake.local>
Sat, 19 Aug 2017 05:20:34 +0000 (01:20 -0400)

Trivial merge