Cherry pick of db6f3ebc1b8ca65eacbea62d1c2679f8c2a2e281#45
Merged
gbaraldi merged 1 commit intojulia-release/18.xfrom Aug 4, 2025
Merged
Cherry pick of db6f3ebc1b8ca65eacbea62d1c2679f8c2a2e281#45gbaraldi merged 1 commit intojulia-release/18.xfrom
gbaraldi merged 1 commit intojulia-release/18.xfrom
