Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Iris
Iris
Merge requests
!653
Add option_local_update_None
Code
Review changes
Check out branch
Download
Patches
Plain diff
Merged
Ralf Jung
requested to merge
ralf/option-local-update
into
master
Mar 17, 2021
Overview
2
Commits
2
Pipelines
0
Changes
1
Expand
This is the (hopefully) uncontroversial part of
!371 (closed)
. Lemma and proof by Dmitry Khalanskiy.
Merge request reports