Subject: RE: [External] : Re: bug#12253: Restore window start position

From: Drew Adams <[email-masked]>
Date: Tue, 11 May 2021 18:46:25 +0000

> >> ping.
> >>
> >> Any special reason why the patch provided or some other fix has not
> >> yet been applied to fix this bug?  (Or has it been fixed and should
> >> thus be closed?)
> >
> > ping.  Still unaddressed, after 8 more years?
> 
> Please concretize what is unaddressed.

The questions posed are concrete.  What about the patch
I provided?  Or some other fix?  Or has it been fixed
and should be closed?

If you feel that everything has been addressed, then
why not close the bug.  If not, then please "concretize
what is unaddressed".