=== Pici is now known as Guest64254 === Pici` is now known as Guest9250 === io is now known as IdleOne [07:05] ricotz, have you looked at g-s-d update? [07:06] particularly the OSD removal [07:19] darkxst, hi, no, i haven't [07:20] wondering should I just revert the patches, or make it fallback to g-s-d OSD's for the non shell case [07:21] https://bugzilla.gnome.org/show_bug.cgi?id=695021 [07:21] Gnome bug 695021 in media-keys "media-keys: Delegate popping up OSDs to GNOME Shell" [Normal,Resolved: fixed] [07:21] another post-freeze annoyance [07:25] darkxst, i see, give jbicha some time [07:29] darkxst, btw, make sure you are sorting new entries in *.install files alphabetically or adapt to the current style instead just adding thing at the end [07:35] ricotz, from what I can see they are usually just a mess [07:35] hmm, no that is the control files I mean [07:40] so finally spidermonkey release should happen tomorrow [07:43] probably a bit too late for raring I guess [08:15] might be still possible while it will be in universe without rdepends [08:15] g2g === Pici`_ is now known as Pici === plains is now known as plains_ [13:45] anyone else having a problem with pidgin and empathy? === vibhav is now known as barkdog === barkdog is now known as vibhav === cmatheso` is now known as cmatheson