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.

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

Add Note about the flexibility of Consensus #323

Merged
merged 1 commit into from
Sep 11, 2019
Merged

Conversation

frivoal
Copy link
Collaborator

@frivoal frivoal commented Aug 29, 2019

Closes #296

@frivoal frivoal added this to the Process 2020 milestone Aug 29, 2019
@frivoal frivoal self-assigned this Aug 29, 2019
@frivoal frivoal added DoC This has been referenced from a Disposition of Comments (or predates the use of DoCs) Agenda+ Marks issues that are ready for discussion on the call labels Aug 29, 2019
@css-meeting-bot
Copy link
Member

The Revising W3C Process CG just discussed Closing Out Issues, and agreed to the following:

  • RESOLVED: Accept PR 323
The full IRC log of that discussion <fantasai> Topic: Closing Out Issues
<fantasai> dsinger: A number of issues we said we'd close if no one objected
<florian> https://github.com//pull/323
<florian> github: https://github.com//pull/323
<fantasai> RESOLVED: Accept PR 323

@css-meeting-bot css-meeting-bot removed the Agenda+ Marks issues that are ready for discussion on the call label Sep 11, 2019
@frivoal frivoal merged commit bd8bcd9 into w3c:master Sep 11, 2019
@frivoal frivoal deleted the consensus branch September 11, 2019 14:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
DoC This has been referenced from a Disposition of Comments (or predates the use of DoCs)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add note to Process about flexibility of consensus
2 participants