Skip to content

Merge bumped heptapod-stable branch into release branch

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

Finishes #1448 (closed)

Merge request reports