Closed sifivekevin closed 4 years ago
We should merge from the rvv-1p0-202008 branch instead, right?
Yes. I just created this PR so I could see all the commits that would have been involved in merging from this branch,
We should merge from the rvv-1p0-202008 branch instead, right?