Skip to content

Conversation

@wilzbach
Copy link
Contributor

@wilzbach wilzbach commented Jan 5, 2018

Reverts #159

@dlang-bot
Copy link
Collaborator

Thanks for your pull request, @wilzbach!

@wilzbach
Copy link
Contributor Author

wilzbach commented Jan 5, 2018

(got some random failures with the bot, but on a more detailed look they were coming from /github_hook)

@wilzbach wilzbach closed this Jan 5, 2018
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.

3 participants