Skip to content

Conversation

@wilzbach
Copy link
Contributor

Seems like we should really check for such errors automatically ...

Discovered in #1694 (comment)

@dlang-bot dlang-bot merged commit 02a7c29 into dlang:master Jun 15, 2017
@wilzbach wilzbach deleted the fix-ddoc branch December 18, 2017 06:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants