Merge branch 'issue/cleanup_dofvector' into 'develop'

Issue/cleanup dofvector

See merge request !29
1 job for develop in 4 seconds (queued for 18 seconds)
Status Job ID Name Coverage
  Test
failed #6352
dune:git--gcc

00:00:04

 
Name Stage Failure
failed
dune:git--gcc Test
Running with gitlab-runner 11.2.0 (35e8515d)
on gitlab-ci f753c543
Using Docker executor with image mathiwr/dune:latest ...
Pulling docker image mathiwr/dune:latest ...
ERROR: Job failed: Error response from daemon: repository mathiwr/dune not found: does not exist or no pull access (executor_docker.go:168:1s)