We are currently in a bit of a vacation mode and I didn’t manage to track this down my a first attempt last week. But assuming all is going as planned, I expect the next release to be on Monday, and getting this fixed has the highest priority. In case this turns out to be really difficult to track down, the release might get delayed to the following Friday, but we’ll see.