release: cut the 4.1.1 release#6084

Merged

dtopuzov merged 3 commits intoreleasefrom

Jul 18, 2018

Commits on Jul 18, 2018

fix: require devtools-elements.js with the extension mentioned explicitly (#6079)
sis0k0
committed
release: cut the 4.1.1 release
sis0k0
committed
chore: Fix TS transpile error with 2.9 (#5906)

Alexander Vakrilov
authored and
sis0k0
committed