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

Update FLIP-123 status #224

Merged
merged 2 commits into from
Nov 30, 2023
Merged

Update FLIP-123 status #224

merged 2 commits into from
Nov 30, 2023

Conversation

tarakby
Copy link
Contributor

@tarakby tarakby commented Nov 22, 2023

🥳

@tarakby tarakby changed the title Update FLIP123 status Update FLIP-123 status Nov 22, 2023
@@ -1,5 +1,5 @@
---
status: approved
status: implemented
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🚀 Since the PRG is on Mainnet, can the status can be updated to released?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

good flag, I missed that there is the "released" status.

@tarakby tarakby merged commit 2f637c1 into main Nov 30, 2023
@tarakby tarakby deleted the tarak/update-status branch November 30, 2023 02:11
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.

2 participants