Skip to content

Conversation

@jaekwon
Copy link
Contributor

@jaekwon jaekwon commented Jun 19, 2024

No description provided.

@github-actions github-actions bot added 🧾 package/realm Tag used for new Realms or Packages. 📦 🤖 gnovm Issues or PRs gnovm related 📦 🌐 tendermint v2 Issues or PRs tm2 related 📦 ⛰️ gno.land Issues or PRs gno.land package related labels Jun 19, 2024
@jaekwon
Copy link
Contributor Author

jaekwon commented Jun 19, 2024

#1426 already merged.

@jaekwon jaekwon closed this Jun 19, 2024
@thehowl thehowl deleted the jae/fix/interface_comparison branch December 8, 2024 16:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

📦 🌐 tendermint v2 Issues or PRs tm2 related 📦 ⛰️ gno.land Issues or PRs gno.land package related 📦 🤖 gnovm Issues or PRs gnovm related 🧾 package/realm Tag used for new Realms or Packages.

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants