On Thu, Jun 15, 2017 at 8:40 AM Bastien Guerry <b...@gnu.org> wrote: > Kaushal Modi <kaushal.m...@gmail.com> writes: > > > Before I commit this to master, I was thinking that this patch looks > > safe enough for the maint branch. If there are no objections, I can > > commit this to maint and merge to master. > > Sure, please go ahead.
Thanks. Done. -- Kaushal Modi