Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
ogs
ogs
Merge requests
!4018
Merged
Created
Feb 28, 2022
by
Lars Bilke
@bilke
Owner
1 of 1 task completed
1/1 task
Options
Bump PETSc minimum to 3.16.3.
Overview
0
Commits
1
Pipelines
1
Changes
1
Old minimum version was not really tested.
Feature description was added to the
changelog