Hi All, There are a lot of open PRs. I think it would be good to close some of them in order to identify the remaining PRs that require action to be taken. Specifically I was thinking of first closing obsolete PRs and then see how far that takes us. A PR could be considered obsolete if it is:
* Changing code or documentation that no longer exists. * Adding documentation that is no longer correct. * Has a note already on the PR that it needs to be closed because another PR was opened. Any thoughts? Thanks, Tim
