debian/2020.06.01-1

Aniol Martí

@amarti

af13668f · I forgot to close GCC-10 bug · Jun 05, 2020

Release dpic version 2020.06.01-1