On Mon, Jul 16, 2018 at 2:36 AM, Amit Khandekar <amitdkhan(dot)pg(at)gmail(dot)com> wrote:
> 0001 patch contains the main fix. In this patch I have used some
> naming conventions and some comments that you used in your patch,
> plus, I used your method of lazily allocating new stack level. The
> stack is initially Null.
Committed and back-patched to v11 and v10.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company