=== bersace_nss__ is now known as bersace_nss
[09:32] <stevenm> Hello everybody, I've downloaded a daily of 13.04 - I'll be using the 3.8 PPA on it after... should be using gnome3 ppa or gnome3-staging ?
[09:33] <stevenm> i'm after stability - so i'm thinking gnome3 ppa only - but will i miss anything by not adding gnome3-staging (other than new features)
[09:33] <stevenm> i.e. is gnome3 pps *complete* in the sense it has everything GNOME released 3.8 to have
[09:33] <stevenm> *ppa
=== yofel_ is now known as yofel
=== tommie-lie1 is now known as tommie-lie
[23:17] <jbicha> darkxst: oh I didn't see your patch for bug 1064022
[23:17] <ubot5> bug 1064022 in gnome-shell (Ubuntu) "gnome-shell crashed with signal 5 in st_widget_get_theme_node()" [Medium,Confirmed] https://launchpad.net/bugs/1064022
[23:20] <jbicha> we can still ask the release team to let it in for raring but they may wait to do it as an SRU