Thanks for the pull request, @nedbat-test-committer! I've created OSPR-4749 to keep track of it in JIRA.
As a core committer, you can merge this once the pull request is approved per the
core committer reviewer requirements
and according to the agreement with your edX Champion.
@nedbat-test-committer Even though your pull request wasn’t merged, please take a moment to answer a two question survey so we can improve your experience in the future.
Thanks for the pull request, @nedbat-test-committer! I've created OSPR-4749 to keep track of it in JIRA.
As a core committer, you can merge this once the pull request is approved per the core committer reviewer requirements and according to the agreement with your edX Champion.