Skip to content

xmss: rm useless koalabear comment#37

Merged
tcoratger merged 1 commit intoleanEthereum:mainfrom
tcoratger:koalabear-comment
Sep 8, 2025
Merged

xmss: rm useless koalabear comment#37
tcoratger merged 1 commit intoleanEthereum:mainfrom
tcoratger:koalabear-comment

Conversation

@tcoratger
Copy link
Copy Markdown
Collaborator

@tcoratger tcoratger merged commit 10ba9aa into leanEthereum:main Sep 8, 2025
6 checks passed
@unnawut unnawut added the specs Scope: Changes to the specifications label Oct 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

specs Scope: Changes to the specifications

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants