Run of fresh-snapshots for gnome-shell-extension-hide-activities

Try this locally (using silver-platter):

debian-svp new-upstream --snapshot gnome-shell-extension-hide-activities 

Merge these changes:

Summary

Merged new upstream version: 0.00~git20131024.2.6574986 (was: 0.00~git20131024.1.6574986).

Full worker log Full build log