Dave tactfully pointed out privately that I'd committed the man page changes to the 1.7 release branch, rather than master. Sigh.
I've now pushed reverts to 1.7-release, and cherry-picked my 4 commits onto master. Sorry for the git-noise. :-/ paul =---------------------- paul fox, [email protected] (arlington, ma, where it's 39.7 degrees)
