Ubuntu

gnome-shell-extension-pixelsaver binary package in Ubuntu Focal armhf

Pixel Saver is designed to save pixels by fusing activity bar and title bar
in GNOME shell.
.
It is inspired by previous tools such as Maximus.

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2020-01-06 18:43:18 UTC	Published	Ubuntu Focal armhf	release	universe	gnome	Optional	1.20-1
Published on 2020-01-06 Copied from ubuntu focal-proposed amd64 in Primary Archive for Ubuntu
		Deleted	Ubuntu Focal armhf	proposed	universe	gnome	Optional	1.20-1
Removal requested on 2020-01-06. Deleted on 2020-01-06 by Ubuntu Archive Robot moved to Release Published on 2020-01-06 Copied from ubuntu focal-proposed amd64 in Primary Archive for Ubuntu
	2020-01-06 18:43:28 UTC	Superseded	Ubuntu Focal armhf	release	universe	gnome	Optional	1.10+git20180804-d97c6e4-1
Removed from disk on 2020-12-29. Removal requested on 2020-01-07. Superseded on 2020-01-06 by amd64 build of gnome-shell-extension-pixelsaver 1.20-1 in ubuntu focal PROPOSED Published on 2019-10-18 Copied from ubuntu cosmic-proposed amd64 in Primary Archive for Ubuntu