Merged heptapod branch for upstream 15.11 in heptapod-stable (!96) · Merge requests · heptapod / omnibus-heptapod · GitLab

Georges Racinet requested to merge topic/heptapod-stable/gitlab-15.11 into branch/heptapod-stable Aug 06, 2023

Expected to fix in particular the failures of !94 (merged) once it gets rebased