debian/2020.12-1

antonio.terceiro@linaro.org

27f10889 · debian/changelog: add bug number · Dec 17, 2020

lava Debian release 2020.12-1