On 2016/04/24 22:00, Florian Schlichting <f...@debian.org> wrote:
> This seems to be caused by a lacking include, fixed by the below patch.

Merged.

Reply via email to