Commit 9ab15467 authored Jan 31, 2018 by Willi Rath

Merge branch 'develop' into 'master'

Pin widgetsnbextension

See merge request !68