New commits: commit f5850bbfd008ad8cd7f96db2623b0dd2df0a7db3 Author: Andrew Cagney <cagney at gnu.org> Date: Sat May 27 20:36:49 2017 -0400 pluto: delete redundant debug-log message