On Tue, Mar 14, 2017 at 11:28 AM, Mathieu Lirzin <m...@gnu.org> wrote:
...
> Here is an updated patch with a rationale in the ChangeLog:
>
> Thanks for the review (to both of you).

Thank you. I've pushed that.

Reply via email to