Skip to content

Conversation

jrfnl
Copy link
Member

@jrfnl jrfnl commented Mar 5, 2022

... after #146 / #158. (there was one ref to the old repo location in the open PR)

@Potherca Potherca merged commit 99dfefe into master Mar 5, 2022
@Potherca Potherca deleted the feature/update-refs-follow-up branch March 5, 2022 13:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

Successfully merging this pull request may close these issues.

2 participants