Closed IndrajeetPatil closed 1 year ago
Follow up to #2453
Thanks for this but I'm not doing this sort of housekeeping on devtools atm, so I'm going to close this, since it's not a quick drive-by "merge".
Follow up to #2453