Thanks for your diff and your patch.
Could you please file a debian bug for this as well? Its likely that the debian maintainer will happily take the patch and then we can just sync it.
Thanks, Michael
Thanks for your diff and your patch.
Could you please file a debian bug for this as well? Its likely that the debian maintainer will happily take the patch and then we can just sync it.
Thanks,
Michael