Skip to content

Conversation

@Goooler
Copy link
Member

@Goooler Goooler commented Jan 6, 2025

Follow up #1129.

@Goooler Goooler force-pushed the g/20250106/rename-consts branch from 7830b6c to 8e7e2e6 Compare January 6, 2025 02:05
@Goooler Goooler enabled auto-merge (squash) January 6, 2025 02:11
@Goooler Goooler merged commit 59d49d3 into main Jan 6, 2025
7 checks passed
@Goooler Goooler deleted the g/20250106/rename-consts branch January 6, 2025 02:12
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