Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove an obsolete attribute from __attrs__
The extra attribute in __attrs__ makes an unpickled session have one more attribute than the original. Removing it makes the original and the unpickled be identical.
- Loading branch information