Re: [Hackage] #526: hugs-options aren't passed to ffihugs