Skip to content

Conversation

peternewman
Copy link
Collaborator

Fixing comments in #2021 .

@peternewman peternewman added the dictionary Changes to the dictionary label Feb 5, 2022
@peternewman peternewman requested a review from luzpaz February 5, 2022 16:07
@peternewman peternewman requested review from luzpaz and removed request for luzpaz February 14, 2022 15:49
@peternewman peternewman merged commit 7eec219 into master Feb 15, 2022
@luzpaz luzpaz deleted the peternewman-Jupyter branch February 19, 2022 19:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dictionary Changes to the dictionary

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants