Merge /u/jrubio/cdesktopenv/ branch int-conversion into master
authorJon Trulson <allura@localhost>
Fri, 11 Oct 2019 23:58:44 +0000 (23:58 +0000)
committerJon Trulson <allura@localhost>
Fri, 11 Oct 2019 23:58:44 +0000 (23:58 +0000)
https://sourceforge.net/p/cdesktopenv/code/merge-requests/14/


Trivial merge