Skip to content
GitLab
Explore
Sign in
Use released book theme for docs
Code
Review changes
Check out branch
Download
Patches
Plain diff
Vicentini Filippo
requested to merge
PhilipVinc-patch-2
into
master
Apr 25, 2022
Overview
3
Commits
1
Pipelines
0
Changes
1
Expand
Created by: PhilipVinc
was using a cherry picked version before. Let's move back to actual releases.
Merge request reports