Merge branch 'release/stable-25.0-manganese' into 'master'

25.0-Manganese release

See merge request !155
2 jobs for master in 2 minutes and 21 seconds (queued for 5 seconds)