Skip to content
GitLab
Explore
Sign in
Remove unused charset override option
Code
Review changes
Check out branch
Download
Patches
Plain diff
Volker Krause
requested to merge
work/vkrause/removed-unused-charset-override
into
master
Nov 17, 2023
Overview
0
Commits
1
Pipelines
3
Changes
2
Expand
This is used with its default value false everywhere.
Merge request reports
Loading