-
Andrew Martin authored
This adds isResourceVanished, resourceVanishedErrorType, and isResourceVanishedErrorType to System.IO.Error, resolving #14730.
046ca133
To find the state of this project's repository at the time of any of these versions, check out the tags.