Subject: Re: bug#25424:

From: Eli Zaretskii <[email-masked]>
Date: Sat, 23 Mar 2019 08:56:36 +0200

> Date: Sat, 23 Mar 2019 01:43:49 +0000
> From: Michael Mauger <[email-masked]>
> Cc: Tijs Mallaerts <[email-masked]>, "Michael R. Mauger" <[email-masked]>, "[email-masked]" <[email-masked]>
> 
> 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?