Subject: Re: bug#31750: simplify and tune Emacs stack-related allocation
From: Paul Eggert <[email-masked]>
To: [email-masked]
Date: Fri, 15 Jun 2018 00:46:58 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

I installed the patches into master after tweaking the mint_ptr comments a bit, 
and am marking this as done.