Skip to content
GitLab
Explore
Sign in
Register
ogs
ogs
Merge requests
!4202
Small cleanups and tweaks
Code
Review changes
Check out branch
Download
Patches
Plain diff
Dmitry Yu. Naumov
requested to merge
endJunction/ogs:SmallCleanups
into
master
Jul 05, 2022
Overview
8
Commits
12
Pipelines
0
Changes
14
Expand
Independent set of smaller changes, review commit-wise.
Edited
Jul 06, 2022
by
Tom Fischer
Merge request reports