Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
We had left one check commented out that was to be made into meaningful code. As the test was passing (aside from the flakiness mentioned in issue #297), this extra check was perhaps not really necessary, and were not sure if it might help with the mentioned flakiness either. Closes #306
- Loading branch information