bug19428 272 B

12345
  1. o Minor bugfixes (timing):
  2. - When computing the difference between two times in milliseconds,
  3. we now round to the nearest millisecond correctly. Previously,
  4. we could sometimes round in the wrong direction. Fixes bug 19428;
  5. bugfix on 0.2.2.2-alpha.