Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Bug fix: Reset random seed when needed
Once `.spin()` is called with a `seed`, the random generator will never be reset for subsequent calls without a `seed` argument. This patch fixes that issue.
- Loading branch information