New commits: commit f67ee68dea335c93ae4384e7a48a1ac74d0a350b Author: Andrew Cagney <cagney at gnu.org> Date: Tue Oct 31 14:41:24 2017 -0400 pluto: update --debug manual section, strip out most options