Skip to content
GitLab
Explore
Sign in
Register
ogs
ogs
Merge requests
!4405
Added missing includes for PETSc build
Code
Review changes
Check out branch
Download
Patches
Plain diff
Christoph Lehmann
requested to merge
chleh/ogs:fix-petsc-build
into
master
Dec 12, 2022
Overview
0
Commits
2
Pipelines
0
Changes
2
Expand
I found there were some includes missing when building for PETSc without unity builds.
Merge request reports