[skip CI] Merge branch 'case_5' of github.com:gem/oq-engine into case_5
[skip CI]
Merge branch 'case_5' of github.com:gem/oq-engine into case_5


Former-commit-id: d4fb2c6bde7b695cf06ffc3b2fe68f6cf2c344ae [formerly 1ab01ef054e7b1e628d3289f5de8b4cc4a492241]
Former-commit-id: 783bbe1221c27e7e852796bdedfe76366e2b78e3
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine