Skip to content

Conversation

@PeterDaveHello PeterDaveHello requested a review from a team May 24, 2018 19:24
chorrell

This comment was marked as off-topic.

@chorrell
Copy link
Contributor

Looks good, merging

@chorrell chorrell merged commit 178313d into master May 24, 2018
@chorrell
Copy link
Contributor

chorrell commented May 25, 2018

Why didn't this trigger a PR?

https://travis-ci.org/nodejs/docker-node/builds/383407022

@chorrell
Copy link
Contributor

@LaurentGoderre ☝️

@chorrell
Copy link
Contributor

I'll do a combined PR with #759

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants