Subject: Re: bug#48367: 28.0.50; quit-restore-window may jam

From: pillule <[email-masked]>
Date: Sat, 15 May 2021 10:34:16 +0000

martin rudalics <[email-masked]> writes:

>> Here an alternative version using subr.el instead :
>
> I've pushed this and the other change now to master in commit
> 0a681590268a4039f95a5a919b6b6d4f4e880d4c, converting your 
> ChangeLog
> exercises to our style.  Please have a look and close this bug 
> if
> everything is alright.

Looks fine to me, thanks.

Looking at https://debbugs.gnu.org/Developer.html how to close 
this bug, I hope it worked.

--