Thanks a lot for your report and the contribution! I merged the changes from the non-gnu repository into the trunk, the change will be part of the next release. Please test!
Thanks a lot for your report and the contribution! I merged the changes from the non-gnu repository into the trunk, the change will be part of the next release. Please test!