Skip to content

Conversation

timotheecour
Copy link
Member

#15562 should've triggered a doc run, but didn't; this fixes that

@Araq Araq merged commit 09cad44 into nim-lang:devel Oct 14, 2020
@timotheecour timotheecour deleted the pr_ci_docs_paths branch October 14, 2020 10:35
mildred pushed a commit to mildred/Nim that referenced this pull request Jan 11, 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.

2 participants