- Fix for bug #34. Removing coverage data for unknown extensions.
Authored by: npac 2008-05-09
Parent: [r16]
Child: [r18]