[Commits] commit/WVUThorns: zach_etienne: GiRaFFE Review: Use srand() instead of srandom() to seed rand(). Also add comment in param.ccl explaining the use of the random_seed. Affects ID_converter_GiRaFFE *and* ID_converter_ILGRMHD.