Skip to content

Conversation

@iioflow
Copy link
Contributor

@iioflow iioflow commented Jul 2, 2025

@alecthomas alecthomas merged commit 908d2a3 into alecthomas:master Jul 2, 2025
2 checks passed
@alecthomas
Copy link
Owner

Thanks!

@iioflow iioflow deleted the patch-1 branch July 2, 2025 23:03
@uncenter uncenter mentioned this pull request Jul 23, 2025
alecthomas pushed a commit that referenced this pull request Jul 23, 2025
Follow up to #1094; if we
update one of the four Catppuccin flavors we should update the other
three at the same time for consistency sake.
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