Skip to content

Conversation

@devsnek
Copy link
Member

@devsnek devsnek commented Oct 1, 2018

cc @addaleax

Checklist

@nodejs-github-bot
Copy link
Collaborator

@nodejs-github-bot nodejs-github-bot added the doc Issues and PRs related to the documentations. label Oct 1, 2018
@devsnek
Copy link
Member Author

devsnek commented Oct 4, 2018

PR-URL: nodejs#23197
Reviewed-By: Anna Henningsen <anna@addaleax.net>
Reviewed-By: Colin Ihrig <cjihrig@gmail.com>
Reviewed-By: Trivikram Kamat <trivikr.dev@gmail.com>
Reviewed-By: James M Snell <jasnell@gmail.com>
Reviewed-By: Ruben Bridgewater <ruben@bridgewater.de>
@devsnek
Copy link
Member Author

devsnek commented Oct 4, 2018

Landed in f217201

@devsnek devsnek closed this Oct 4, 2018
@devsnek devsnek merged commit f217201 into nodejs:master Oct 4, 2018
@devsnek devsnek deleted the hp1 branch October 4, 2018 06:29
jasnell pushed a commit that referenced this pull request Oct 17, 2018
PR-URL: #23197
Reviewed-By: Anna Henningsen <anna@addaleax.net>
Reviewed-By: Colin Ihrig <cjihrig@gmail.com>
Reviewed-By: Trivikram Kamat <trivikr.dev@gmail.com>
Reviewed-By: James M Snell <jasnell@gmail.com>
Reviewed-By: Ruben Bridgewater <ruben@bridgewater.de>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

doc Issues and PRs related to the documentations.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

8 participants