Closed erwanor closed 1 year ago
Part of https://github.com/penumbra-zone/penumbra/pull/1650
Will merge this into main once the parent PR is ready to be merged into penumbra@main
penumbra@main
When merging this branch, we should be sure not to delete it, so that existing code that specified this branch won't break before we have a chance to migrate it.
Part of https://github.com/penumbra-zone/penumbra/pull/1650
Will merge this into main once the parent PR is ready to be merged into
penumbra@main