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

Editorial Changes #236

Merged

wareid merged 2 commits into main from editorial-feb23

Mar 28, 2023

Collaborator

wareid commented Feb 8, 2023 •

edited by pr-preview bot

Loading

Adding in the editorial changes from the Jan 31st meeting.

Meeting minutes: https://www.w3.org/2023/01/31-pwe-minutes.html


          editorial changes from last meeting

12b10d0

TzviyaSiegman mentioned this pull request

The Goal of the CEPC sets a rather low bar #250

Closed

Collaborator

TzviyaSiegman commented Mar 21, 2023

Merge once conflicts are resolved.


          Merge branch 'main' into editorial-feb23

7fc3fe1

wareid added the CEPC 2023 label

wareid merged commit 2e8f6d0 into main

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment