It looks like that PR still needs some work before it can be merged and then a release made including it. With core packages like that we also don’t want to merge in the last minute and then make a release and sync without testing time. We try to make sure that low level releases are made early in the sync cycle so that they can get non-trivial testing time in the shadow-fixed/testing repositories to make sure we can catch any regressions before the main release.