undefined | Better HN

0 pointskllrnohj1mo ago0 comments

The linked revert PR is not from Microsoft (and also isn't merged)

0 comments

2 comments · 1 top-level

politelemon1mo ago· 1 in thread

It is merged

dmitriv recreated in a separate PR and merged that. The linked revert PR by a user was closed.

j / k navigate · click thread line to collapse