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

From: Leo Liu <[email-masked]>
Date: Fri, 07 Oct 2016 09:21:12 +0800

On 2016-10-06 21:37 +0300, Eli Zaretskii wrote:
> That depends on how long is this problem present.  Can you tell?

Originally I thought by inserting a (sit-for 0) I fixed the problem but
people have reported otherwise
https://github.com/leoliu/ggtags/issues/89 (which is 20 months old)

Leo