4.25.2 doesn't appear in the release source code yet - i.e. not merged yet?