Skip to content

Making 0.41 the new stable, release branch part

Brings in changes from the heptapod-stable branch that were not merged into heptapod at the time the branching point was set.

Part of #1283 (closed) and hence #1282 (closed)

Merge request reports