diff options
| author | David Aspinall | 1999-11-29 12:46:23 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-29 12:46:23 +0000 |
| commit | debfa48c5cda791a4e8939918936f3ed5713d4d2 (patch) | |
| tree | d3031cfaeea0d630c5c34349a3aec30ff4154a52 /html | |
| parent | a166643ad31a9a1be7c546709c8c2d59d056873a (diff) | |
Comments about improved handling of urgent message markers, following
jrl's bug report about duplication of occasional urgent messages.
The correct fix is to set proof-shell-eager-annotation-start-length
properly.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions