Skip to content

Conversation

@vargaz
Copy link
Contributor

@vargaz vargaz commented Jul 27, 2023

No description provided.

@ghost ghost added the needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners label Jul 27, 2023
@vargaz vargaz force-pushed the fix-interp-leaks branch from a35022b to afd7a43 Compare July 27, 2023 16:38
@vargaz vargaz force-pushed the fix-interp-leaks branch from afd7a43 to ae0ce29 Compare July 27, 2023 17:00
@vargaz
Copy link
Contributor Author

vargaz commented Jul 27, 2023

/azp run runtime-wasm

@azure-pipelines
Copy link

Azure Pipelines successfully started running 1 pipeline(s).

@vargaz
Copy link
Contributor Author

vargaz commented Jul 28, 2023

Ref: #82716.

@vargaz vargaz added this to the 8.0.0 milestone Jul 28, 2023
@lewing
Copy link
Member

lewing commented Jul 31, 2023

Should we merge this?

@vargaz vargaz merged commit 6987b62 into dotnet:main Aug 1, 2023
@vargaz vargaz deleted the fix-interp-leaks branch August 1, 2023 13:51
@ghost ghost locked as resolved and limited conversation to collaborators Aug 31, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

needs-area-label An area label is needed to ensure this gets routed to the appropriate area owners

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants