Closed mkx171217 closed 6 years ago
n/a
Thanks - this looks correct to me. I’ll merge now, but would appreciate an ex post facto sanity check from @palmer-dabbelt
Yep, the jalr
was nonsense -- sorry that slipped through! This should be jal ra, puts
, not jal puts
, as jal puts
is an alias and we're trying to avoid those in the docs.
Thanks!