Merge branch 'master' of github.com:gem/oq-engine
Merge branch 'master' of github.com:gem/oq-engine
Merge branch 'master' of github.com:gem/oq-engine
Merge branch 'master' of github.com:gem/oq-engine
Merge branch 'master' of github.com:gem/oq-engine
Merge branch 'performance-report'
Merge branch 'master' of github.com:gem/oq-engine
Enlarged an INTEGER to BIGINT