Document #4140
Merge branch 'master' of /p/condor/repository/CONDOR_SRC