Merged stable branch into default

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

🚀

Merge request reports