-
Laurent Petre authored
Before this commit and since their introduction, the generated local run numbers were not following the expectations. While not strictly a problem for their uniqueness, the (approximate) run start time could not be computed.
9b444bdd