Skip to content

Conversation

@tofay
Copy link
Collaborator

@tofay tofay commented Jul 30, 2022

this uses a different, unified, section name of .dep-v0

this uses a different symbol name
@tofay tofay merged commit c417e5b into main Jul 30, 2022
tofay pushed a commit that referenced this pull request Jul 30, 2022
this uses a different symbol name
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants