RunControl-01-05-08

Giuseppe Avolio

@avolio

c94a60cd · std::random_shuffle replaced by std::shuffle · Mar 23, 2018

This is RunControl-01-05-08.

Main changes:
- Replacing std::random_shuffle (already deprecated in C++14).