diff options
author | Miles Bader <miles@gnu.org> | 1995-09-05 22:14:35 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1995-09-05 22:14:35 +0000 |
commit | 3d9adddaaa2d7b3070a49b4a6473650ad7134dac (patch) | |
tree | ca99c29ede055f397ee2214062eae39b34e87b7c /utils | |
parent | 8cf9bbd397009902b9cb385bd2065a1450c0c925 (diff) |
(_pager_seqnos_memory_object_change_completed):
Don't push the attrs_pending field negative in the case where the
pager was terminated before we get called.
Diffstat (limited to 'utils')
0 files changed, 0 insertions, 0 deletions