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.
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.