Skip to content
GitLab
Explore
Sign in
Teams
Websites
developer.gnome.org
Merge requests
!115
Upgrade Sphinx to 5.3.0
Code
Review changes
Check out branch
Download
Patches
Plain diff
Arjan Molenaar
requested to merge
amolenaar/developer-www:upgrade-sphinx
into
main
Dec 17, 2022
Overview
0
Commits
1
Pipelines
1
Changes
1
Expand
Just some maintenance: upgrade Sphinx for this site.
Merge request reports