Merge /u/jrubio/cdesktopenv/ branch incompatible-pointer-types into master 2.3.0a
authorJon Trulson <allura@localhost>
Sat, 12 Oct 2019 21:43:45 +0000 (21:43 +0000)
committerJon Trulson <allura@localhost>
Sat, 12 Oct 2019 21:43:45 +0000 (21:43 +0000)
https://sourceforge.net/p/cdesktopenv/code/merge-requests/16/


Trivial merge