| === bersace_nss__ is now known as bersace_nss | ||
| 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:32 |
|---|---|---|
| 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 | 09:33 |
| === yofel_ is now known as yofel | ||
| === tommie-lie1 is now known as tommie-lie | ||
| 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:17 |
| jbicha | we can still ask the release team to let it in for raring but they may wait to do it as an SRU | 23:20 |
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!