Nikolaj Schumacher <n_schumacher at web.de> (tiny change)
authorGlenn Morris <rgm@gnu.org>
Wed, 23 May 2007 08:09:37 +0000 (08:09 +0000)
committerGlenn Morris <rgm@gnu.org>
Wed, 23 May 2007 08:09:37 +0000 (08:09 +0000)
commitbd40f902ad693c8de5bccb556e8d44287b9c7215
tree5e5fe9ef4a39eca806e448e89e16e83de73381f0
parent1083cfb10e3e1474f4ea54b537816412ae677d14
Nikolaj Schumacher  <n_schumacher at web.de>  (tiny change)

(compilation-handle-exit): `compilation-finish-function' may change
the current buffer.
lisp/progmodes/compile.el