small ux change: add random seed option

#1
by linoyts HF Staff - opened
Ready to merge
This branch is ready to get merged automatically.

Sign up or log in to comment