Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[unstable option] skip_macro_invocations #5346

Open
2 of 5 tasks
tommilligan opened this issue May 21, 2022 · 0 comments
Open
2 of 5 tasks

[unstable option] skip_macro_invocations #5346

tommilligan opened this issue May 21, 2022 · 0 comments
Labels
unstable option tracking issue of an unstable option

Comments

@tommilligan
Copy link
Contributor

tommilligan commented May 21, 2022 •
edited
Loading

Tracking issue for unstable option: skip_macro_invocations.

From discussion here: #5324 (comment)

See Processes.md, "Stabilising an Option":

  • Is the default value correct?
  • The design and implementation of the option are sound and clean.
  • The option is well tested, both in unit tests and, optimally, in real usage.
  • There is no open bug about the option that prevents its use.
@tommilligan tommilligan mentioned this issue May 21, 2022
Merged
@ytmimi ytmimi added the unstable option tracking issue of an unstable option label May 27, 2022
@calebcartwright calebcartwright changed the title [unstable option] skip_macro_names [unstable option] skip_macro_invocations Aug 2, 2022
@calebcartwright calebcartwright mentioned this issue Aug 2, 2022
Closed
@ytmimi ytmimi mentioned this issue Mar 5, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
unstable option tracking issue of an unstable option
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@tommilligan @ytmimi