Skip to content
This repository has been archived by the owner on Nov 1, 2022. It is now read-only.

Update recommonmark, fix a warning #2364

Merged
merged 2 commits into from
Aug 15, 2019
Merged

Update recommonmark, fix a warning #2364

merged 2 commits into from
Aug 15, 2019

Conversation

dholbach
Copy link
Member

Update recommonmark, fix a warning.

@dholbach dholbach added the docs Issue or PR relates to documentation label Aug 15, 2019
@dholbach dholbach self-assigned this Aug 15, 2019
@dholbach dholbach merged commit 5cf5d83 into master Aug 15, 2019
@dholbach dholbach deleted the docs-updates branch August 15, 2019 10:39
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
docs Issue or PR relates to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants