Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Revert "Compatibility with iris (#416)"
This reverts commit 99330bd. Neither this commit alone, nor the follow-up commit solves the problem. It feels like a work-around and I haven't even understood the underlying problem yet. So I'm going to revert it for now.
- Loading branch information