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/pman | |
| 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/pman')
0 files changed, 0 insertions, 0 deletions