diff options
| author | David Aspinall | 2003-05-28 12:52:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-05-28 12:52:47 +0000 |
| commit | 5cdee603deac6680e32334243b471d7af946ee17 (patch) | |
| tree | c28eb5e02af6af50b740f16195f65b859ae2ecbe /BUGS | |
| parent | 48965b4c1f857ca45a415637bde4893b3bc41706 (diff) | |
proof-strict-read-only: only alter locked span if live (bug fix)
Diffstat (limited to 'BUGS')
0 files changed, 0 insertions, 0 deletions