[m-dev.] 20.01.1 release

[Julien Fischer]

Hi all,

Since things have been fairly quite on the 20.01 branch, I intend
to release version 20.01.1 at the end of this month.

Julien.