> On 7 Jun 2019, at 17:39, Magnus Hagander <magnus(at)hagander(dot)net> wrote:
> Actually, I don't think we have actually ever allowed that.
All the more reason to fix. Patch applied, thanks.
cheers ./daniel