Unverified Commit bda05a23 by Julien Pivotto Committed by GitHub

Merge pull request #8610 from roidelapluie/release2252

Release 2.25.2
parents 34ca0bb2 f9692a68
Pipeline #82675 passed with stages
in 5 minutes 43 seconds