> Regtested on rv64gcv_zvl512b.  Going to push if the CI doesn't complain.

The CI does complain but I cannot reproduce locally :/  Pondering whether to 
just go ahead and fix fallout later.

-- 
Regards
 Robin

Reply via email to