[02:51] * RAOF is surprised that nobody has yet noticed that the Khronos EGL headers are broken on Win64. === chrisccoulson_ is now known as chrisccoulson [13:29] ricotz, what is the preferred way to store preferences in gnome 3, is it gsettings/dconf? [13:33] bjsnider, yes, i would say so [13:33] but iirc not all gnome-apps switched yet [13:33] is that possible in natty, with libdconf0 instead of dconf-gsettings-backend? [13:37] yes [13:37] cool [13:43] bjsnider, do you proposed your gnome-mplayer change? [13:43] i proposed it [13:43] not officially but in the channel [13:44] but actually i'm creating a ppa bot to do my own packages [13:44] and the developer says the ubuntu packages are screwed up [13:44] nobody has been paying attention to it because they forgot to add libpulse-dev as a dependency, so no pulseaudio [13:44] that's mind-boggling [13:45] a media player, with no pulseaudio support [13:45] i suppose it's screwed up in debian too [13:46] bjsnider, so make a debdiff and send it to the maintainer or ping them if possible [13:46] where is its debian packaging branch again? [13:47] nvm found [13:47] it [13:47] i was hoping to be able to commit to it [13:48] can you? [13:49] there are a couple of other changes that need to be made [13:50] let's switch this conversation to #debian-multimedia, since we're both in that channel === njpatel_ is now known as njpatel === yofel_ is now known as yofel