Skip to content
GitLab
Explore
Sign in
Register
database: remove options no longer needed after #40113
Code
Review changes
Check out branch
Download
Patches
Plain diff
Warren Gifford
requested to merge
aharvey/remove-unused-option
into
main
Aug 10, 2022
Overview
2
Commits
2
Pipelines
0
Changes
3
Expand
Created by: LawnGnome
Closes
#40219 (closed)
.
Test plan
If everything still builds, we're good.
Merge request reports
Loading