Closed int-index closed 6 years ago
I expected v0.9
to become a maintenance branch (in case we need to backport anything else), but you can close this PR if you don't plan to do other maintenance.
Okay, let's keep as a maintenance branch. No harm if I close it after I migrate cardano-sl
to universum-1.*
.
OK, I merged this into v0.9
. We can delete the v0.9
when we no longer use it.
@ChShersh I'd appreciate an upload of
universum-0.9.2
once you review/merge this.