2016-October Archive by Date

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

01 October 2016

• Recompiling libgnome-shell.so  Bob Andrew

03 October 2016

• Re: Recompiling libgnome-shell.so  Simon McVittie
• Re: Recompiling libgnome-shell.so  Bob Andrew
• Re: Recompiling libgnome-shell.so  Simon McVittie
• Re: Recompiling libgnome-shell.so  Bob Andrew

04 October 2016

• Removing gjs-internals-1.0  philip . chimento
• Re: Recompiling libgnome-shell.so  Simon McVittie

10 October 2016

• Mutter 3.22.1  Florian Müllner
• GNOME Shell 3.22.1  Florian Müllner
• GNOME Shell Extensions 3.22.1  Florian Müllner

28 October 2016

• Alternative to restarting shell on wayland  Yotam Bar-On