Skip to content

Conversation

@jrfnl
Copy link
Member

@jrfnl jrfnl commented Jun 13, 2021

Previous: #101

@jrfnl
Copy link
Member Author

jrfnl commented Aug 11, 2021

Just checking: is this waiting for something?

@Potherca
Copy link
Member

I don't think so... I probably just forgot to press the "Merge" button, since the jobs were not all green.

@Potherca Potherca merged commit 5d4a7cc into master Aug 16, 2021
@Potherca Potherca deleted the feature/update-copyright branch August 16, 2021 13:54
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.

3 participants