Hi, I'm wondering if patches are supposed to be submitted to this mailing list, or added to Bugzilla for freedesktop.org ? It's a trivial one byte patch and was submitted to Bugzilla, but it would be nice to know the "right" way to do things for the future. https://bugs.freedesktop.org/show_bug.cgi?id=21104 -- J.C. Roberts