Thomas, thanks for checking. I've uploaded a new patch and will check whether it fixes this problem shortly.
Thomas, thanks for checking. I've uploaded a new patch and will check whether it fixes this problem shortly.