Topic/heptapod/merge stable (!157) · Merge requests · heptapod / heptapod · GitLab

Georges Racinet requested to merge topic/heptapod/merge-stable into branch/heptapod Dec 16, 2020

Merged heptapod-stable into heptapod for latest fixes

We get back what was done for 0.17.3 for the future 0.18.0