Skip to content

fix: Avoid duplicate objects#1223

Merged
aviator-app[bot] merged 1 commit intomainfrom
b-dupes
Feb 8, 2024
Merged

fix: Avoid duplicate objects#1223
aviator-app[bot] merged 1 commit intomainfrom
b-dupes

Conversation

@krlmlr
Copy link
Copy Markdown
Contributor

@krlmlr krlmlr commented Feb 8, 2024

Thanks @dmurdoch!

@aviator-app
Copy link
Copy Markdown
Contributor

aviator-app bot commented Feb 8, 2024

Current Aviator status

Aviator will automatically update this comment as the status of the PR changes.
Comment /aviator refresh to force Aviator to re-examine your PR (or learn about other /aviator commands).

This PR was merged using Aviator.


See the real-time status of this PR on the Aviator webapp.
Use the Aviator Chrome Extension to see the status of your PR within GitHub.

@szhorvat
Copy link
Copy Markdown
Member

szhorvat commented Feb 8, 2024

Fixed in the C core now, you can just update the C core and regenerate if you like

@aviator-app aviator-app bot merged commit e98211d into main Feb 8, 2024
@aviator-app aviator-app bot deleted the b-dupes branch February 8, 2024 21:46
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Feb 8, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants