On 22 June 2015 at 14:14, Arnaud Quette <arnaud.que...@gmail.com> wrote:
> here is the patch, before I completly forgot.

I've pushed this, thanks.

Richard.
_______________________________________________
devkit-devel mailing list
devkit-devel@lists.freedesktop.org
http://lists.freedesktop.org/mailman/listinfo/devkit-devel

Reply via email to