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