> If you could add the fix for #307259 in the same upload, it'd be nice, I > think, even if its gravity is probably overflated. Nicolas just told last night it does not affect 4.0.3.... Anyway, given how close we are from the release, I prefer just fixing 309587