Skip to content

Removed unused reference.#934

Merged
ezio-melotti merged 1 commit intomainfrom
rm-open-prs-ref
Aug 10, 2022
Merged

Removed unused reference.#934
ezio-melotti merged 1 commit intomainfrom
rm-open-prs-ref

Conversation

@ezio-melotti
Copy link
Member

This link got removed in 7ab47a0 and it's not longer needed.

@ezio-melotti ezio-melotti added the type-feature Additions; New content or section needed label Aug 10, 2022
@ezio-melotti ezio-melotti requested a review from AA-Turner August 10, 2022 08:24
@ezio-melotti ezio-melotti self-assigned this Aug 10, 2022
@ezio-melotti ezio-melotti merged commit 13cd51a into main Aug 10, 2022
@ezio-melotti ezio-melotti deleted the rm-open-prs-ref branch August 10, 2022 08:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type-feature Additions; New content or section needed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants