Skip to content

Conversation

@PeterDaveHello
Copy link
Member

cc #728

SimenB

This comment was marked as off-topic.

@chorrell
Copy link
Contributor

chorrell commented May 14, 2018

That can probably happen in a separate PR I think once #730 lands

chorrell

This comment was marked as off-topic.

LaurentGoderre

This comment was marked as off-topic.

LaurentGoderre

This comment was marked as off-topic.

@PeterDaveHello PeterDaveHello merged commit 85ae047 into master May 15, 2018
@PeterDaveHello PeterDaveHello deleted the shfmt branch May 15, 2018 11:34
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.

6 participants