Hotfix

See merge request main/Sumatra!1507

sumatra-commit: 06fa1679be16f17ff14effd73eb34b27da85882b
2 jobs for master in 5 minutes and 48 seconds (queued for 2 seconds)