Subject: Re: bug#28442: 26.0.50; [PATCH] Save and restore frame pixel size with desktop-save-mode

From: martin rudalics <[email-masked]>
Date: Sat, 16 Dec 2017 18:30:23 +0100

> (Hopefully I’m closing the bug right, please
> let me know if not)

Apparently not.  I'm now CCing this message to

[email-masked]

in the hope to succeed.

Thanks, martin