Thanks for the new upload. Please also fix this in mantic, either via a mantic upload with the same change, or a debian change/upload and later re-merge in mantic.
Thanks for the new upload. Please also fix this in mantic, either via a mantic upload with the same change, or a debian change/upload and later re-merge in mantic.