Skip to content

trivial change#38

Merged
michael-o merged 1 commit intomasterfrom
trivial
Feb 28, 2021
Merged

trivial change#38
michael-o merged 1 commit intomasterfrom
trivial

Conversation

@elharo
Copy link
Copy Markdown
Contributor

@elharo elharo commented Feb 28, 2021

Very trivial change to verify that the CI really is busted

@michael-o michael-o merged commit c74f769 into master Feb 28, 2021
@michael-o michael-o deleted the trivial branch February 28, 2021 22:21
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.

2 participants