Skip to content

Initialize seed with std::time if not user-supplied

Closes #2026

Merge request reports