Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merge issue reproduction #10

Merged
merged 3 commits into from
Sep 13, 2023
Merged

Merge issue reproduction #10

merged 3 commits into from
Sep 13, 2023

Conversation

rzadp
Copy link

@rzadp rzadp commented Sep 13, 2023

No description provided.

@rzadp
Copy link
Author

rzadp commented Sep 13, 2023

/rfc process 0x39fbc57d047c71f553aa42824599a7686aea5c9aab4111f6b836d35d3d058162

1 similar comment
@rzadp
Copy link
Author

rzadp commented Sep 13, 2023

/rfc process 0x39fbc57d047c71f553aa42824599a7686aea5c9aab4111f6b836d35d3d058162

@github-actions
Copy link

@rzadp Handling the RFC command failed :( You can open an issue here.

@rzadp
Copy link
Author

rzadp commented Sep 13, 2023

/rfc process 0x39fbc57d047c71f553aa42824599a7686aea5c9aab4111f6b836d35d3d058162

@github-actions github-actions bot merged commit b8610ec into main Sep 13, 2023
@github-actions
Copy link

The on-chain referendum has approved the RFC.

Bullrich pushed a commit that referenced this pull request Feb 16, 2024
With this RFC I want to start a discussion whether to burn the revenues
from Coretime sales or to send them to Treasury. I give some arguments
why burning might be favorable.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant