[`devel`]→[`master`] Preparation of v1.3.2#419

Open

diegoferigo wants to merge 12 commits intomasterfrom devel

+48-31

Commits on Oct 25, 2021

Commits on Nov 6, 2021

Commits on Nov 7, 2021

Commits on Nov 13, 2021