New commits: commit 1960c5b43ad9cd3b9a3afad2d5a30cd1e93d9be1 Author: Andrew Cagney <cagney at gnu.org> Date: Sat May 13 18:38:47 2023 -0400 pluto: tweak logging of whack commands