 Yes. That was the late respins last week (re @philipz: was curious if the boothole fixes will make it into the 20.04.1 ISO on the 6th)