Merge branch 'stability' into 'dev'

Stability

See merge request !22
2 jobs for dev in 2 minutes and 7 seconds
latest
Status Job ID Name Coverage
  Build
passed #370944
build_voms_proxy_init

00:02:06

passed #370943
build_xcache

00:01:59