On Sun, 23 Feb 2020 09:17:57 PST (-0800), tycho@tycho.ws wrote: > On Sat, Feb 08, 2020 at 08:18:17AM -0700, Tycho Andersen wrote: >> ... > > Ping, any risc-v people have thoughts on this?
Thanks for fixing this. It ended up escaping my inbox, but it's on fixes now and targeted for the next RC.