Re: [libre-riscv-dev] daily kan-ban 07may2020 update