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