Subject: Re: bug#25641: 25.1; insert-char function inconsistency

From: Stephen Berman <[email-masked]>
Date: Thu, 09 Feb 2017 15:15:09 +0100

On Wed, 8 Feb 2017 18:01:06 -0400 Pablo Mercader Alcántara <[email-masked]> wrote:
>
> 2017-02-08 17:43 GMT-04:00 Stephen Berman <[email-masked]>:
[...]
>> Done and pushed to master as 90f76eb.

> oooh cool!
> thanks again!

I'll take that as confirmation that the bug can be closed, and have done so.

Steve Berman