Merge pull request #8610 from roidelapluie/release2252

Release 2.25.2
2 jobs from v2.25.2 in 5 minutes 43 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #308777
triggered
compile

03:20

 
  Package
passed #308778
triggered
container

02:22