diff options
| author | Glenn Morris <rgm@gnu.org> | 2013-11-22 18:58:28 -0800 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2013-11-22 18:58:28 -0800 |
| commit | 50dca5dfd6adef80fb90a49736cdfcbd4c00d764 (patch) | |
| tree | 3c6aed0244b0bb63d532add38ea87658ac8ca21b /src/ChangeLog | |
| parent | e1b01c7fedfe8b481eb45ec64786981e1cc50264 (diff) | |
* src/process.c (get_process): Explicit error for dead buffers
That seems more in keeping with the existing behavior of this function
in other situations.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index c6f63adebcd..bc3d3ba6f25 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2013-11-23 Glenn Morris <rgm@gnu.org> + + * process.c (get_process): Explicit error for dead buffers. + 2013-11-23 Andreas Schwab <schwab@linux-m68k.org> * process.c (get_process): Check that OBJ is a live buffer. (Bug#15923) |