bug9267 201 B

1234
  1. o Minor bugfixes:
  2. - Added optional parameter to contrib/coverage script to specify directory
  3. to put gcov files in, and added reset-gcov target to top-level makefile.
  4. Fixes bug #9267.