Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This appears to have never been used ever since its introduction in 61c7569 -- the plugin discussed on the PR introducing that commit, 34811, never materialized. It's also simple to readd in the current scheme, but given that macro expansion is already quite complicated, additional useless state seems good to remove while we're not using it.
- Loading branch information