Skip to content

Fix aot work#3678

Closed
bgavrilMS wants to merge 5 commits intomasterfrom
fix-aot-work
Closed

Fix aot work#3678
bgavrilMS wants to merge 5 commits intomasterfrom
fix-aot-work

Conversation

@bgavrilMS
Copy link
Member

@bgavrilMS bgavrilMS commented Jan 22, 2026

based on #3664 but opened on origin branch instead of fork.

@bgavrilMS bgavrilMS requested a review from a team as a code owner January 22, 2026 11:40
@jennyf19
Copy link
Collaborator

seems like we should be taking @agocke 's contribution and working from it, no?

@bgavrilMS
Copy link
Member Author

bgavrilMS commented Jan 26, 2026

seems like we should be taking @agocke 's contribution and working from it, no?

Moving to a local branch was a request from @jmprieur, as the original PR is from a fork and it's more difficult to collaborate on a fork. The attribution of commits is persevered.

@jmprieur
Copy link
Collaborator

jmprieur commented Feb 4, 2026

@agocke 's PR is now merged. Closing this one.

@jmprieur jmprieur closed this Feb 4, 2026
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.

4 participants