Tristan Van Berkom [2013-02-14 17:55 +0900]:
That's a trickier thing. For most commits, one should actually be able
to build them independently, but sometimes those in between breaks
are inevitable. Say, you make an API change in a library and then
update your application to the new API,
Hello Bastien,
Bastien Nocera [2013-02-13 11:23 +0100]:
I think build issues should be filed as Bugzilla bugs. At most we maybe
want to set some keyword / status whiteboard. But I guess the summary
would be consistent and people will quickly learn of it.
They should be filed as Bugzilla
Hi Thorsten,
On Wed, 2013-02-13 at 22:56 +0100, Thorsten Alge wrote:
hope this is the correct list for a feature request.
Specific and well-defined feature requests (that don't need a lot of
brainstorming first how to do it) are best placed in bugzilla.gnome.org.
* while copying files from
On 14 February 2013 19:08, Matthias Clasen matthias.cla...@gmail.com wrote:
gnome-color-manager-3.7.5-1.fc19.x86_64
This is using it for only one thing; the 3D gamut graph widget. Is
there a more supported way to define a custom GTK widget that lets me
embed a clutter actor? I'm using mash to
Sriram Ramkrishna s...@ramkrishna.me wrote:
Certainly, the first one I filed is this one:
https://bugzilla.gnome.org/show_bug.cgi?id=693551
...
I found it a surprisingly smooth experience given its early stage.
I have however spotted one issue: Adjusting the master volume in-game
via the