add -name and -pool options to condor_history man page for #3897
Merge branch 'V8_1_2-branch'