This PR allows to automatically change the seed

#1
Ready to merge
This branch is ready to get merged automatically.

Sign up or log in to comment