-
Notifications
You must be signed in to change notification settings - Fork 245
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
Spec: Fix some errors, such as use of [=this=] in parallel. #875
Conversation
I noticed this was uploaded from #671 (comment). Let me know if you want me to review it. |
Wanted to focus on the urgent PRs first (i.e., the IG cap one, Update: replied the comments for that PR. strikethrough (will request review once I replied your comments, planned to do so this afternoon)), and to avoid taking you too much time reviewing other PRs at the same time. Once that is done, I'll request review for some other PRs I uploaded. But if you'd like, it's ready for review, and it's relatively small, so feel free to review it now. |
Thanks for the input. I'll hold off until the others are finished if that's alright. |
I think now it's ready to review, since the IG cap PR is finished. Thanks! |
SHA: 1edc35e Reason: push, by domfarolino Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Preview | Diff