New commits: commit ca3989a48f1aa70199f5e1bc58591a17a0fd06c5 Author: Andrew Cagney <cagney at gnu.org> Date: Tue Nov 2 17:18:10 2021 -0400 testing: check that pluto really did shut down Ref github bug #539