2017-September Archive by Date

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

13 September 2017

• Mutter 3.25.92  Florian Müllner
• Mutter 3.26.0  Florian Müllner
• GNOME Shell 3.26.0  Florian Müllner
• GNOME Shell Extensions 3.26.0  Florian Müllner

25 September 2017

• enerating Shell-0.1.gir with a custom command. FAILED: src/Shell-0.1.gir  tjoen
• Re: enerating Shell-0.1.gir with a custom command. FAILED: src/Shell-0.1.gir  Giovanni Campagna
• Re: enerating Shell-0.1.gir with a custom command. FAILED: src/Shell-0.1.gir  tjoen

26 September 2017

• Re: enerating Shell-0.1.gir with a custom command. FAILED: src/Shell-0.1.gir  Giovanni Campagna
• Which mozjs-52 to use? was Re: Generating Shell-0.1.gir with a custom command  tjoen
• Re: Which mozjs-52 to use? was Re: Generating Shell-0.1.gir with a custom command  philip . chimento
• gdm/gnome shell js problem was Re: Which mozjs-52 to use  tjoen
• Re: gdm/gnome shell js problem was Re: Which mozjs-52 to use  philip . chimento

27 September 2017

• Re: gdm/gnome shell js problem was Re: Which mozjs-52 to use  tjoen
• Re: gdm/gnome shell js problem was Re: Which mozjs-52 to use  Emmanuele Bassi
• Re: gdm/gnome shell js problem was Re: Which mozjs-52 to use  tjoen

29 September 2017

• unsubscribe me please  elias lattash
• Re: unsubscribe me please  tjoen