Merge /u/jrubio/cdesktopenv/ branch pointer-compare into master
drwxr-xr-x - cde