Skip to content
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

Fix a typo in a debug statement; also add missing PR links to changelog #1310

Merged
merged 1 commit into from
May 5, 2020
Merged

Fix a typo in a debug statement; also add missing PR links to changelog #1310

merged 1 commit into from
May 5, 2020

Conversation

DilumAluthge
Copy link
Contributor

@DilumAluthge DilumAluthge commented May 4, 2020

Fixes a typo introduced in #1307

Also adds missing PR links that we forgot to add in #1307

@DilumAluthge
Copy link
Contributor Author

cc: @mortenpi
cc: @fredrikekre

@mortenpi
Copy link
Member

mortenpi commented May 4, 2020

I took the liberty of adding the missing PR references here as well which I noticed only after merging.

@DilumAluthge DilumAluthge changed the title Fix a typo in a debug statement Fix a typo in a debug statement; also add missing PR links to changelog May 4, 2020
@DilumAluthge DilumAluthge reopened this May 5, 2020
@mortenpi mortenpi merged commit 4d4e601 into JuliaDocs:master May 5, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants