[02:21] <erappleman> jbicha, 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?
=== 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
[14:29] <mitya57> Hi, does anybody know why gnome-terminal theming is commented out in ubuntu-themes?
[14:29] <mitya57> https://bazaar.launchpad.net/~ubuntu-art-pkg/ubuntu-themes/trunk/view/head:/Ambiance/gtk-3.0/apps/gnome-terminal.css
[14:30]  * mitya57 is running uncommented version for a month now with no issues
=== Quintasan_ is now known as Quintasan
[16:12] <Laney> Subject: Reminder: Desktop team meeting @ Tue 25 Dec 16:30 - 17:30
[16:12] <Laney> Christmas meeting? ;-)
[16:36] <jbicha> Laney: 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 version
[20:39] <mbiebl> jbicha: it's for /usr/share/gnome/gnome-version.xml
[20:39] <mbiebl> i.e. libgnome-desktop reporting the correct version
[20:40] <mbiebl> during a transition you can relax the dependency i'd say
[20:41] <mbiebl> I think we did the same in Debian for -0 → -2
[20:53] <jbicha> mbiebl: 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 ppa
[20:54] <bjsnider> wouldn't 3.7 be an unstable version?
[20:56] <jbicha> bjsnider: yes