Subject: Re: bug#31750: simplify and tune Emacs stack-related allocation

From: Paul Eggert <[email-masked]>
Date: Fri, 15 Jun 2018 00:46:58 -0700

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