Skip to content

Conversation

@dcandler
Copy link
Collaborator

My last push included a couple of patch files in the root by mistake, which should be removed. The actual contents of these patches have already been applied now.

My last push included a couple of patch files in the root by mistake,
which should be removed. The actual contents of these patches have
already been applied now.
@dcandler dcandler merged commit 7bd8ccd into ARM-software:main Oct 24, 2024
1 check passed
@dcandler dcandler deleted the remove_patches branch November 11, 2024 08:26
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.

1 participant