Skip to content

Conversation

@timotheecour
Copy link
Member

@timotheecour timotheecour commented Jun 15, 2021

this should be backported so that you can easily switch between devel and stable docs and makes this more discoverable

refs #18267 (comment) + other similar cases

EDIT: fixes #10744

@Araq Araq merged commit d3b27eb into nim-lang:devel Jun 15, 2021
@timotheecour timotheecour deleted the pr_link_stable_devel_docs branch June 15, 2021 22:07
@ringabout
Copy link
Member

Its seems to solve the issue #10744 more or less.

@timotheecour timotheecour mentioned this pull request Jun 16, 2021
@timotheecour
Copy link
Member Author

indeed, thanks for the link!

narimiran pushed a commit that referenced this pull request Aug 24, 2021
narimiran pushed a commit that referenced this pull request Aug 24, 2021
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.

better navigation

3 participants