Skip to content

Conversation

@aackerman
Copy link
Contributor

Simple typo correction.

The file name should also be changed, but that would break permalinks, probably better to simply leave it incorrect for the time being.

The file name should also be changed, but that would break permalinks, probably better to simply leave it incorrect for the time being.
@sophiebits
Copy link
Collaborator

This was fixed in #2359; we just haven't rebuilt the docs from source yet.

@sophiebits sophiebits closed this Oct 16, 2014
@zpao
Copy link
Member

zpao commented Oct 16, 2014

Will do that in a bit.

josephsavona pushed a commit that referenced this pull request May 15, 2024
--- 

Not dependent on changes from #2366, but now the fix is easy to review
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.

3 participants