Merge branch 'develop' into 'master'

Pin widgetsnbextension

See merge request !68
1 job for master in 23 minutes and 13 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Test
passed #1749
test

00:23:13