-
David Hauzar authored
If the answer of prover was unknown and reason of the answer was not None and the proof was edited, it was not marked as obsolete. This commit fixes this problem. Contributed by Stefan Berghofer.
92ba52cb
La mise à jour de gitlab est terminée. Nous sommes désormais en version 16.11.1
Merci de consulter la release note:
https://about.gitlab.com/releases/2024/04/18/gitlab-16-11-released/
If the answer of prover was unknown and reason of the answer was not None and the proof was edited, it was not marked as obsolete. This commit fixes this problem. Contributed by Stefan Berghofer.