Skip to content
Snippets Groups Projects
Commit 8994c2bf authored by André Anjos's avatar André Anjos :speech_balloon:
Browse files

Merge branch 'new-pins' into 'master' 

Update pins of sphinx-rtd-theme to latest

See merge request !340
parents 113959db 43a3fcb7
No related branches found
No related tags found
1 merge request!340Update pins of sphinx-rtd-theme to latest
Pipeline #68416 passed
Stage: qa
Stage: build
Stage: deploy