bug#19576: write-file writes the wrong buffer

[Eli Zaretskii]

> Date: Sat, 21 Nov 2015 15:56:58 +0000
> Cc: 19576@debbugs.gnu.org, andlind@gmail.com, juri@linkov.net
> From: Alan Mackenzie <acm@muc.de>
> 
> > Please tell me if this bug and bug#21333 could now be closed, or if
> > there are any leftovers.
> 
> I don't think this fix concerns #19576.  The discussion of #21869 seems,
> somehow, to have moved to here.

Right.  But then 19576 should be closed "for other reasons", right?

> But I think that #21333 can be closed, and #21869 certainly can be; both
> of these were about window-size-change-functions not getting called for
> echo area size changes.

Will do.