New commits: commit 645a223f44aad1d21729741b82496e5ecc858073 Author: Andrew Cagney <cagney at gnu.org> Date: Tue Oct 3 14:45:02 2017 -0400 logging: make log_to_syslog local to pluto; delete tool_close_log() seeing as only pluto does syslogging