-
Notifications
You must be signed in to change notification settings - Fork 748
No labels!
There aren’t any labels for this repository quite yet.
14 labels
after-motions
after-motions
Pull request is to be applied after the pending edits from WG21 straw polls have been applied.
changes requested
changes requested
Changes to the wording or approach have been requested and not yet applied.
decision-required
decision-required
A decision of the editorial group (or the Project Editor) is required.
not-editorial
not-editorial
Issue is not deemed editorial; the editorial issue is kept open for tracking.