Re: [libre-riscv-dev] daily kan-ban update, 22jul2020