New commits: commit 7b8603c2c579dadbb74e45a52c0ad37197348dfb Author: Andrew Cagney <cagney at gnu.org> Date: Fri Nov 17 16:55:25 2017 -0500 pluto/whack: delete --debug-xxx options