Store already logged seeds to avoid logging them multiple times#5656

sormuras wants to merge 3 commits intomainjunit-team/junit-framework:mainfrom

sormuras/4647-tune-custom-seed-loggingjunit-team/junit-framework:sormuras/4647-tune-custom-seed-loggingCopy head branch name to clipboard