fixup! Push WHIZARD version

11 jobs for master in 22 minutes and 18 seconds (queued for 2 seconds)
latest