GNU bug report logs - #29398
company-minimum-prefix-length

Previous Next

Package: auctex;

Reported by: Frederik Beaujean <Frederik.Beaujean <at> lmu.de>

Date: Wed, 22 Nov 2017 16:22:02 UTC

Severity: normal

Done: Tassilo Horn <tsdh <at> gnu.org>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: Frederik Beaujean <Frederik.Beaujean <at> lmu.de>
To: 29398 <at> debbugs.gnu.org
Subject: bug#29398: closed (Re: bug#29398: company-minimum-prefix-length)
Date: Thu, 23 Nov 2017 09:08:42 +0100
Thanks a lot for the quick fix. I think the behavior is much more
consistent now as it respects the user setting. I very much appreciate
your readiness to change this setting even though you liked it the way
it was before!

Best regards

Fred


Am 23.11.2017 um 09:05 schrieb GNU bug Tracking System:
> Your bug report
>
> #29398: company-minimum-prefix-length
>
> which was filed against the auctex package, has been closed.
>
> The explanation is attached below, along with your original report.
> If you require more details, please reply to 29398 <at> debbugs.gnu.org.
>





This bug report was last modified 7 years and 181 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.