Subject: bug#25424:

From: Michael Mauger <[email-masked]>
Date: Sun, 24 Mar 2019 19:31:11 +0000

On Saturday, March 23, 2019 2:56 AM, Eli Zaretskii <[email-masked]> wrote:

> > Date: Sat, 23 Mar 2019 01:43:49 +0000
>
> > I've reviewed the issue. The fix is more appropriate in `sql-end-of-statement'. I'll commit a change to implement this.
>
> Thanks. I see you already made a change; should we now close this bug
> report?

Yes, it should now be all set. The bug can be closed.