On 17 February 2017 at 16:59, Sebastian Lackner <sebastian at fds-team.de> wrote: > I don't think fixing this requires a more complex solution, see my proposed patch. > I think that should work, yeah.