Evgeny Roubinchtein <eroubinchtein@isilon.com>

Patch

r860187

r860187 | cmpilato | 2006-06-15 06:28:30 +0000 (Thu, 15 Jun 2006)

Fix a not-quite-tight-enough header-matching regexp.

* tools/dev/normalize-dump.py
  (header_re): Tweak so that paths which contain colons (:) don't cause a
    mismatch.
    
Patch by: Evgeny Roubinchtein <eroubinchtein@isilon.com>