bug26101_26102 261 B

12345
  1. o Minor bugfixes (test coverage tools):
  2. - Update our "cov-diff" script to handle output from the latest
  3. version of gcov, and to remove extraneous timestamp information
  4. from its output. Fixes bugs 26101 and 26102; bugfix on
  5. 0.2.5.1-alpha.