Adam Jackson wrote: > Need to apply a few final fixes to the server, and figure out the doc build. > That's about it. Is this one of them? https://bugs.freedesktop.org/show_bug.cgi?id=8991 I know it's not the ideal solution but practically every distro will apply these patches if they are not included I reckon :) Col.