Subject: Re: bug#37584: [PATCH] Quadruple term-buffer-maximum-size
From: Stefan Kangas <[email-masked]>
To: Lars Ingebrigtsen <[email-masked]>
Cc: [email-masked]
Date: Mon, 7 Oct 2019 12:19:39 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Lars Ingebrigtsen <[email-masked]> writes:

> > I think we have more memory nowadays, and a more reasonable default
> > would probably be 8192.
>
> Makes sense to me.

Thanks, pushed to master as commit 130b1321ed.

Best regards,
Stefan Kangas