Skip to content

Re-enable fedora builds#27

Merged
jkrajniak merged 1 commit intomasterfrom
fedora
Sep 1, 2020
Merged

Re-enable fedora builds#27
jkrajniak merged 1 commit intomasterfrom
fedora

Conversation

@junghans
Copy link
Copy Markdown
Member

@junghans junghans commented Sep 1, 2020

No description provided.

@jkrajniak jkrajniak merged commit eb0e13d into master Sep 1, 2020
@junghans junghans deleted the fedora branch April 23, 2021 15:55
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