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

Remove TODOs #1523

Merged
merged 1 commit into from
Jun 10, 2021
Merged

Remove TODOs #1523

merged 1 commit into from
Jun 10, 2021

Conversation

MikeBishop
Copy link
Contributor

I've opened issues for the things that were previously TODO comments in the draft; this removes them from the draft itself.

@b---c
Copy link
Contributor

b---c commented Jun 10, 2021

Issues #1519 #1520 #1521 and #1522 for posterity

@b---c b---c merged commit 4acb433 into main Jun 10, 2021
@b---c b---c deleted the cert/todo_to_issue branch June 10, 2021 19:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

Successfully merging this pull request may close these issues.

2 participants