New upstream release: 40.1

Olivier Tilloyrequested to merge
osomon-guest/gedit-plugins:debian/master into debian/master

Corresponding packaging branches are here:

Corresponding gedit merge request: gedit!10 (merged).

Merge request reports