iximeow commented on issue #4630:
i forget the etiquette here since i've pushed a change since your review, but i still have a shiny green
mergebutton. CI's gotta churn anyway, so i'll let you have the last word on if this is good for a squash merge still - i assume so :D
Last updated: Feb 24 2026 at 05:28 UTC