Skip to content

Merge bumped heptapod-stable branch into release branch

Georges Racinet requested to merge topic/heptapod-1-3/bump-stable into branch/heptapod-1-3

As this MR shows, there were a couple unmerged commits.

Finishes #1448 (closed)

Merge request reports