Optimize default server to master sphinx-builds are simpler (!50) · Merge requests · bob / bob.extension · GitLab

Snippets Groups Projects

An error occurred while fetching the assigned milestone of the selected merge_request.

Merged André Anjos requested to merge simple-sphinx into master 7 years ago

Activity

André Anjos enabled an automatic merge when the pipeline for 5432759a succeeds 7 years ago

enabled an automatic merge when the pipeline for 5432759a succeeds
André Anjos merged 7 years ago

merged
André Anjos mentioned in commit b96690dd 7 years ago

mentioned in commit b96690dd

Please register or sign in to reply