fix random seed with new `seed_v2` db settings field#10066

Closed

michaeljb wants to merge 1 commit intotobymao:masterfrom michaeljb:fix-random-seed

+38-18

Commits on Dec 31, 2023

fix random seed with new seed_v2 db settings field
michaeljb
committed