2017-September Archive by Author

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

elias lattash

• unsubscribe me please Fri Sep 29 11:37:45 GMT 2017

Emmanuele Bassi

• Re: gdm/gnome shell js problem was Re: Which mozjs-52 to use Wed Sep 27 16:34:44 GMT 2017

Florian Müllner

• Mutter 3.26.0 Wed Sep 13 16:16:45 GMT 2017
• Mutter 3.25.92 Wed Sep 13 16:16:18 GMT 2017
• GNOME Shell Extensions 3.26.0 Wed Sep 13 16:17:48 GMT 2017
• GNOME Shell 3.26.0 Wed Sep 13 16:17:17 GMT 2017

Giovanni Campagna

• Re: enerating Shell-0.1.gir with a custom command. FAILED: src/Shell-0.1.gir Tue Sep 26 01:07:43 GMT 2017
• Re: enerating Shell-0.1.gir with a custom command. FAILED: src/Shell-0.1.gir Mon Sep 25 15:57:53 GMT 2017

philip . chimento

• Re: gdm/gnome shell js problem was Re: Which mozjs-52 to use Tue Sep 26 19:42:20 GMT 2017
• Re: Which mozjs-52 to use? was Re: Generating Shell-0.1.gir with a custom command Tue Sep 26 06:22:49 GMT 2017

tjoen

• Which mozjs-52 to use? was Re: Generating Shell-0.1.gir with a custom command Tue Sep 26 06:06:37 GMT 2017
• Re: gdm/gnome shell js problem was Re: Which mozjs-52 to use Wed Sep 27 05:33:52 GMT 2017
• Re: unsubscribe me please Fri Sep 29 16:39:16 GMT 2017
• Re: gdm/gnome shell js problem was Re: Which mozjs-52 to use Wed Sep 27 17:05:23 GMT 2017
• gdm/gnome shell js problem was Re: Which mozjs-52 to use Tue Sep 26 17:59:47 GMT 2017
• enerating Shell-0.1.gir with a custom command. FAILED: src/Shell-0.1.gir Mon Sep 25 10:49:15 GMT 2017
• Re: enerating Shell-0.1.gir with a custom command. FAILED: src/Shell-0.1.gir Mon Sep 25 17:05:24 GMT 2017