Skip to content

Conversation

@RalfJung
Copy link
Contributor

@RalfJung RalfJung commented Apr 7, 2019

No description provided.

@RalfJung RalfJung closed this Apr 10, 2019
@RalfJung RalfJung reopened this Apr 10, 2019
@RalfJung
Copy link
Contributor Author

This finally makes the CI all green again. :)

@Munksgaard Munksgaard merged commit dfd512e into Manishearth:master Apr 16, 2019
@RalfJung RalfJung deleted the import branch March 17, 2022 19:44
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