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

chore: move meta charset #108

Merged
merged 3 commits into from Jun 5, 2019
Merged

chore: move meta charset #108

merged 3 commits into from Jun 5, 2019

Conversation

marcoscaceres
Copy link
Member

@marcoscaceres marcoscaceres commented Jun 4, 2019 •
edited by pr-preview bot

@rniwa
Copy link
Contributor

rniwa commented Jun 4, 2019

Thanks for all these fixes!

@marcoscaceres
Copy link
Member Author

@rniwa my pleasure. Sorry it's a bit noisy at the moment... we are trying to put a bunch of systems in place to make spec maintenance much easier for everyone in the group. Part of it is for me to fix all the cross references so they work automagically (that was part of #107).

If you'd like, I can take help take on some of the editorial responsibilities to help close off some more bugs - and hopefully make sure that Gecko conforms more fully.

@rniwa rniwa merged commit 4091088 into gh-pages Jun 5, 2019
@rniwa rniwa deleted the †est branch June 5, 2019 06:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@rniwa rniwa rniwa approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@marcoscaceres @rniwa