/srv/irclogs.ubuntu.com/2012/12/25/#ubuntu-desktop.txt

erapplemanjbicha, your new ppa is great. one issue though. the new gnome-shell broke showing the date and AM/PM in the top bar. file a bug upstream?02:21
=== tkamppeter_ is now known as tkamppeter
=== Ursinha is now known as Ursinha-afk
=== Ursinha-afk is now known as Ursinha
=== Ursinha is now known as Ursinha-afk
mitya57Hi, does anybody know why gnome-terminal theming is commented out in ubuntu-themes?14:29
mitya57https://bazaar.launchpad.net/~ubuntu-art-pkg/ubuntu-themes/trunk/view/head:/Ambiance/gtk-3.0/apps/gnome-terminal.css14:29
* mitya57 is running uncommented version for a month now with no issues14:30
=== Quintasan_ is now known as Quintasan
LaneySubject: Reminder: Desktop team meeting @ Tue 25 Dec 16:30 - 17:3016:12
LaneyChristmas meeting? ;-)16:12
jbichaLaney: does libgnome-desktop-3-4 need to depend on gnome-desktop3-data (= ${source:Version}) ? -- that makes it so it's not parallel-installable with a newer soname version16:36
mbiebljbicha: it's for /usr/share/gnome/gnome-version.xml20:39
mbiebli.e. libgnome-desktop reporting the correct version20:39
mbieblduring a transition you can relax the dependency i'd say20:40
mbieblI think we did the same in Debian for -0 → -220:41
jbichambiebl: well we've got a PPA for gnome3.7 but the plan is for raring to stay with gnome3.6 and I'd rather we not have to maintain all the rdepends in the ppa20:53
bjsniderwouldn't 3.7 be an unstable version?20:54
jbichabjsnider: yes20:56

Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!