Commit b6d334c3 authored Feb 17, 2017 by Andreas Klöckner

Merge branch 'diff-kernel' into 'master'

Diff kernel

See merge request !3