Small improvement [skip hazardlib] [demos]
Small improvement [skip hazardlib] [demos]


Former-commit-id: 9f2fd0d818b07edcd0efb1f963fbd3402a718b60 [formerly 7ab722b3e0c51442d6584cd195ea43b8e1705254]
Former-commit-id: 1d6bf6948b3b361087cfc6dac7bef570ca71a4c2
gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine,gem/oq-engine