Merge branch 'issue/petsc_3-7' into 'master'

sequential petsc corrected

See merge request !19
4 jobs for master in 57 minutes and 44 seconds
Status Name Job ID Coverage
  Package
passed package:9-debug-gcc #1072

00:00:36

passed package:9-parallel-debug-gcc #1074

00:00:38

passed package:9-parallel-release-gcc #1075

00:00:27

passed package:9-release-gcc #1073

00:57:44