Subject: Re: bug#14769: [PATCH] optimize `concat's literals

From: Noam Postavsky <[email-masked]>
Date: Wed, 19 Jun 2019 20:38:12 -0400

Mattias Engdegård <[email-masked]> writes:

> Yes, I thought it wouldn't matter but you are right. Updated patch attached.

Looks good to me.  As a minor aesthetic nitpick, I would suggest using
`pop', since you're already using `push'.