Merge /u/jrubio/cdesktopenv/ branch pointer-compare into master
authorJon Trulson <allura@localhost>
Thu, 12 Sep 2019 22:11:52 +0000 (22:11 +0000)
committerJon Trulson <allura@localhost>
Thu, 12 Sep 2019 22:11:52 +0000 (22:11 +0000)
https://sourceforge.net/p/cdesktopenv/code/merge-requests/8/


Trivial merge