Run of fresh-snapshots for gnome-shell-extension-pixelsaver

Try this locally (using silver-platter):

debian-svp new-upstream --snapshot gnome-shell-extension-pixelsaver 

Merge these changes:

Summary

Merged new upstream version: 1.20+git20191215.9ba4425 (was: 1.20).

Full worker log Full build log