Closed microbit-matt-hillsdon closed 2 years ago
There's probably more here but this one is particularly prominent in autocompletions.
@microbit-robert, as discussed can you prep a PR that updates typeshed to main now this has been merged?
There's probably more here but this one is particularly prominent in autocompletions.