Finisher followup

See merge request main/Sumatra!1417

sumatra-commit: 48ab6963a83de423f52b45cd4d192d625794b8ca
2 jobs for master in 6 minutes and 40 seconds (queued for 3 seconds)