Yes, that patch is now in git master, so the problem should be fixed now. Could you confirm it, please?
Yes, that patch is now in git master, so the problem should be fixed now. Could you confirm it, please?