[Backport 8.3] Community backports for 8.1.3#7804

Merged

flobernd merged 1 commit into8.3from

backport-7793-to-8.3

Jul 11, 2023

Commits on Jul 11, 2023

Community backports for 8.1.3 (#7793)

authored and
github-actions[bot]
committed