Skip to content
This repository has been archived by the owner on Mar 13, 2024. It is now read-only.

Fix make stop #976

Merged
merged 1 commit into from
Mar 19, 2018
Merged

Fix make stop #976

merged 1 commit into from
Mar 19, 2018

Conversation

jwilander
Copy link
Member

Looks like #918 accidentally broke make stop

@jwilander jwilander added the 2: Dev Review Requires review by a core commiter label Mar 19, 2018
@crspeller crspeller merged commit 549839a into master Mar 19, 2018
@crspeller crspeller deleted the fix-stop branch March 19, 2018 23:31
@amyblais amyblais added Changelog/Not Needed Does not require a changelog entry Docs/Not Needed Does not require documentation labels Mar 20, 2018
@lindalumitchell lindalumitchell added the Tests/Not Needed Does not require new release tests label Mar 24, 2018
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
2: Dev Review Requires review by a core commiter Changelog/Not Needed Does not require a changelog entry Docs/Not Needed Does not require documentation Tests/Not Needed Does not require new release tests
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants