Update pins of sphinx-rtd-theme to latest (!340) · Merge requests · bob / bob.devtools · GitLab

Snippets Groups Projects

Merged André Anjos requested to merge new-pins into master 2 years ago

Activity

André Anjos assigned to @andre.anjos 2 years ago

assigned to @andre.anjos
André Anjos enabled an automatic merge when the pipeline for 43a3fcb7 succeeds 2 years ago

enabled an automatic merge when the pipeline for 43a3fcb7 succeeds
André Anjos merged 2 years ago

merged
André Anjos mentioned in commit 8994c2bf 2 years ago

mentioned in commit 8994c2bf

Please register or sign in to reply