Le 06/06/2024 à 16:01, Richard Kimberly Heck a écrit : >> So the bug will disappear when branch 2.4.1-devel is merged, but still >> I'd like to back port this commit. >> >> Riki, OK to back port to 2.4.x? > > Yes. Done now (although I fix had to fix the fix on master). JMarc