Skip to content

Fix build#339

Merged
jdalton merged 1 commit intomainfrom
lazy_minus_minus
Feb 25, 2025
Merged

Fix build#339
jdalton merged 1 commit intomainfrom
lazy_minus_minus

Conversation

@pvdz
Copy link
Contributor

@pvdz pvdz commented Feb 25, 2025

Global ref was removed in 5cda184

@pvdz pvdz requested a review from jdalton February 25, 2025 22:07
@jdalton jdalton merged commit 16daba1 into main Feb 25, 2025
15 checks passed
@jdalton jdalton deleted the lazy_minus_minus branch February 25, 2025 22:08
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