diff options
author | Björn Gustavsson <[email protected]> | 2012-12-10 17:34:12 +0100 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2012-12-18 14:46:02 +0100 |
commit | d790477de9e128b1931df655a760083de0c6125c (patch) | |
tree | 7bf79cce60b545ccdbf2e8435b00e515def421f9 /lib/os_mon | |
parent | a5567554dd98b37c1d0ecbb52fdb4f55a93a1cf8 (diff) | |
download | otp-d790477de9e128b1931df655a760083de0c6125c.tar.gz otp-d790477de9e128b1931df655a760083de0c6125c.tar.bz2 otp-d790477de9e128b1931df655a760083de0c6125c.zip |
Fix a bug in skipping of extensions
Extensions following a double bracket group were not skipped correctly.
Fix this bug and add tests to ensure that extensions are skipped
correctly.
Diffstat (limited to 'lib/os_mon')
0 files changed, 0 insertions, 0 deletions