That PR seems to have been closed rather than merged though, I don't think it has reverted the change yet
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
That PR seems to have been closed rather than merged though, I don't think it has reverted the change yet