2014-October Archive by Date

• Messages sorted by: [ Thread ] [ Date ] [ Author ]
• Other months

11 October 2014

• pixel saver crashing on gnome-shell 3.14  deadal nix
• Re: pixel saver crashing on gnome-shell 3.14  Florian Müllner
• Re: pixel saver crashing on gnome-shell 3.14  deadal nix
• Re: pixel saver crashing on gnome-shell 3.14  Florian Müllner
• Re: pixel saver crashing on gnome-shell 3.14  deadal nix

14 October 2014

• Mutter 3.14.1  Florian Müllner
• GNOME Shell 3.14.1  Florian Müllner

15 October 2014

• modify the height of head bar  zhh zhou

16 October 2014

• Re: modify the height of head bar  BrainStorm Trooper

17 October 2014

• Any way to add supported versions to metadata.json on GS extension site without submitting a new version?  Megh Parikh
• Re: Any way to add supported versions to metadata.json on GS extension site without submitting a new version?  Tim
• Re: gnome-shell-list Digest, Vol 72, Issue 3  zhh zhou
• RE: Any way to add supported versions to metadata.json on GSextension site without submitting a new version?  Megh Parikh

30 October 2014

• GNOME Shell 3.14.1.5  Florian Müllner
• GNOME Shell 3.15.1  Florian Müllner
• Mutter 3.14.1.5  Florian Müllner
• Mutter 3.15.1  Florian Müllner