Fix DDOC comments in core/stdc/errno.d#3088
Conversation
|
Thanks for your pull request and interest in making D better, @MoonlightSentinel! We are looking forward to reviewing it, and you should be hearing from a maintainer soon.
Please see CONTRIBUTING.md for more information. If you have addressed all reviews or aren't sure how to proceed, don't hesitate to ping us with a simple comment. Bugzilla referencesYour PR doesn't reference any Bugzilla issue. If your PR contains non-trivial changes, please reference a Bugzilla issue or create a manual changelog. Testing this PR locallyIf you don't have a local development environment setup, you can use Digger to test this PR: dub run digger -- build "master + druntime#3088" |
schveiguy
left a comment
There was a problem hiding this comment.
I can't tell from the diff whether the comments all were preserved, but I'm not going to worry about it.
|
I used regex search+replace so there should be no issues here |
|
I'd like to merge this, but the circleci build seems to have a spurious failure. |
|
@schveiguy : Retriggered the CI for you. You should be able to do it from CircleCI interface though. |
|
I looked, but even though it said I was logged in, it didn't give me options to retry. Edit: just went in again, I must have been logged in some other way, because I logged out and back in and now I see the rerun button. |
No description provided.