Skip to content
This repository was archived by the owner on Dec 15, 2022. It is now read-only.

Deactivate correctly, take 2 #1036

Open
wants to merge 11 commits into
base: master
Choose a base branch
from
Open

Conversation

winstliu
Copy link
Contributor

@winstliu winstliu commented Jan 3, 2018

Requirements

  • Filling out the template is required. Any pull request that does not include enough information to be reviewed in a timely manner may be closed at the maintainers' discretion.
  • All new code requires tests to ensure against regressions

Description of the Change

Investigating pretty persistent failures of #976 on Travis.

See #1027 for the previous PR.

Wliu added 11 commits January 3, 2018 18:32

Unverified

No user is associated with the committer email.

Unverified

No user is associated with the committer email.
…disposables"

This reverts commit 594c12f, reversing
changes made to 25127a9.

Unverified

No user is associated with the committer email.

Unverified

No user is associated with the committer email.

Unverified

No user is associated with the committer email.

Unverified

No user is associated with the committer email.

Unverified

No user is associated with the committer email.

Unverified

No user is associated with the committer email.

Unverified

No user is associated with the committer email.

Unverified

No user is associated with the committer email.

Unverified

No user is associated with the committer email.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant