Hacker News new | ask | show | jobs
by kllrnohj 54 days ago
The linked revert PR is not from Microsoft (and also isn't merged)
1 comments
politelemon 53 days ago
It is merged
link
PinkSheep 53 days ago
dmitriv recreated in a separate PR and merged that. The linked revert PR by a user was closed.
link