Skip to content
Snippets Groups Projects
Commit 6dfd73c5 authored by Marco Clemencic's avatar Marco Clemencic
Browse files

Replace std::random_shuffle with std::shuffle 

std::random_shuffle was deprecated in C++14 and (in principle) removed
in C++17
parent bb3305a3
No related branches found
No related tags found
2 merge requests!3788Draft: Update SciFi cluster monitoring,!3626Fixes for gcc 13, clang 16 and C++20
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment