diff options
| author | Miles Bader <miles@gnu.org> | 1997-07-16 20:11:02 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1997-07-16 20:11:02 +0000 |
| commit | 5ff7fb2c0249895d2b3639454f1d34797f6813c5 (patch) | |
| tree | eb256d59618b79ab2bc6522f93b5ed36978fa130 | |
| parent | 04415666f7d7a0a405d16245ba1e2695eb7bd787 (diff) | |
.
| -rw-r--r-- | storeio/ChangeLog | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/storeio/ChangeLog b/storeio/ChangeLog index d5283523..fcdb12c3 100644 --- a/storeio/ChangeLog +++ b/storeio/ChangeLog @@ -1,5 +1,7 @@ 1997-07-16 Miles Bader <miles@gnu.ai.mit.edu> + * pager.c (pager_read_page): Initialize READ to 0. + * pager.c (dev_get_memory_object): Implement correctly. (dev_stop_paging): Work entirely by flushing user pagers; don't kill pager. (pager_clear_user_data): Zero our pointer to the pager. |