Comment Comment by prmoustache The question is still very relevant. Why are PR like this merged to begin with? parent prmoustache 2 years ago
