Subject: Re: bug#24585: 25.1; avoid hack in ggtags.el to run compilation-auto-jump timer

From: Stefan Monnier <[email-masked]>
Date: Thu, 06 Oct 2016 14:10:40 -0400

> 2. Make compilation-auto-jump do nothing if the buffer is killed.
> WDYT?

I thought that's what I had proposed, so yes, I think that's
a good solution.

        Stefan