Merged heptapod-stable branch into heptapod

Merged Georges Racinet requested to merge topic/heptapod/merge-stable into branch/heptapod

🚀

Merge request reports