-
由 Frederic Bastien 提交于
seed the random generator to be able to reproduice the error. The buildbot use a different seed each day in debug mode and record the seed used.
213288c7
seed the random generator to be able to reproduice the error. The buildbot use a different seed each day in debug mode and record the seed used.