Closed freak12techno closed 1 month ago
Fixes #215. Required for https://github.com/informalsystems/hermes/issues/3979.
@romac can you look at it?
Fixes #215. Required for https://github.com/informalsystems/hermes/issues/3979.