The abovementioned PR was rejected and closed, I don't think there was any other solution on the table. Re-opening.
The abovementioned PR was rejected and closed, I don't think there was any other solution on the table. Re-opening.