New commits: commit 2123b89602ea9aab4d940fdeeb68c0450ac81ef9 Author: Andrew Cagney <cagney at gnu.org> Date: Mon Oct 19 11:15:14 2020 -0400 pluto: move exiting_pluto() to pluto_shutdown.[hc]