Merge /u/jrubio/cdesktopenv/ branch implicit-int into master
drwxr-xr-x - cde