Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

fix a mistake in excerpt #1354

Merged
merged 1 commit into from
Nov 20, 2017
Merged

fix a mistake in excerpt #1354

merged 1 commit into from
Nov 20, 2017

Conversation

nickgarlis
Copy link
Contributor

No description provided.

@mmistakes mmistakes merged commit fa36471 into mmistakes:master Nov 20, 2017
@mmistakes
Copy link
Owner

Thanks @nickgarlis

kkunapuli pushed a commit to kkunapuli/kkunapuli.github.io that referenced this pull request May 30, 2019
sumeetmondal pushed a commit to sumeetmondal/sumeetmondal.github.io that referenced this pull request Sep 10, 2019
jchwenger pushed a commit to jchwenger/jchwenger.github.io that referenced this pull request May 5, 2023
# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants