bug#25246: 25.1.90; Buffer not responsible with overlay at buffer end.

[Eli Zaretskii]

> From: npostavs@users.sourceforge.net
> Cc: "Stefan-W. Hahn" <stefan.hahn@s-hahn.de>,  25246@debbugs.gnu.org
> Date: Fri, 23 Dec 2016 09:14:02 -0500
> 
> >> > Is this satisfactory enough to install this simple change?
> >> 
> >> As said. It works very well.
> >
> > OK, thanks.  Noam, do you agree?
> 
> Yes, this looks like a clear improvement.

Thanks, pushed to master.

I'm marking this bug done; feel free to reopen if it causes problems.