Merge branch 'feature/bump-version-to-2.5.3-git' into 'releases/2.5'

dune.module: bump version to 2.5.3-git [ci skip]

See merge request !131
0 jobs for releases/2.5
latest