Skip to content

Conversation

@Alex-Jordan
Copy link
Contributor

Only related to openwebwork/webwork2#2120 on the surface. This is just a plain old typo. But to get all of them to not show up on a grep search, I submit this as well.

@drgrice1
Copy link
Member

I think this doesn't need a lot of review. I am merging.

@drgrice1 drgrice1 merged commit 9361d77 into openwebwork:PG-2.18 Jul 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants