On Fri, 29 Jun 2018 at 14:40 Andreas Tille <[email protected]> wrote:
> Would you mind filing an according bug report we could refer to? > I've filed this as #902784 although I haven't had the chance to investigate the cause further. (Probably some minor packaging error)
