On 8 September 2015 at 07:38, Markus Armbruster <arm...@redhat.com> wrote: > Peter, are you willing to commit this directly as a build fix? Or would > you prefer a pull request?
Applied to master, thanks (sorry I missed this email earlier). -- PMM
On 8 September 2015 at 07:38, Markus Armbruster <arm...@redhat.com> wrote: > Peter, are you willing to commit this directly as a build fix? Or would > you prefer a pull request?
Applied to master, thanks (sorry I missed this email earlier). -- PMM