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

draft-ietf-6man-pio-pflag-12 HTML/TXT are not copied #8025

Closed
1 task done
furry13 opened this issue Oct 8, 2024 · 2 comments
Closed
1 task done

draft-ietf-6man-pio-pflag-12 HTML/TXT are not copied #8025

furry13 opened this issue Oct 8, 2024 · 2 comments
Labels
bug Something isn't working

Comments

@furry13
Copy link

furry13 commented Oct 8, 2024

Describe the issue

I've just posted -12 of https://datatracker.ietf.org/doc/draft-ietf-6man-pio-pflag/ but neither .txt nor .html are available..

It looks like another case of #8016

Code of Conduct
@furry13 furry13 added the bug Something isn't working label Oct 8, 2024
@furry13
Copy link
Author

furry13 commented Oct 8, 2024

Oh it's available now, so I guess I should have waited longer..sorry for the false alarm..

@furry13 furry13 closed this as completed Oct 8, 2024
@jennifer-richards
Copy link
Member

Yes - we're still diagnosing and working on a fix. In the meantime, I'm watching the incoming drafts and fixing them up by hand so there will be a bit of a lag but they will show up. This one has been fixed.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Oct 17, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
bug Something isn't working
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@furry13 @jennifer-richards