beremiz

Merge remote-tracking branch 'origin/python3' into python3

18 months ago, Edouard Tisserant
87b8dd704b86
Merge remote-tracking branch 'origin/python3' into python3
Build and install
=================
Developer setup
---------------
Build packages with beremiz_public_dist
---------------------------------------