I think the best would be to report to the upstream, freedesktop.org bugzilla. Greg, care to report there?