Subject: bug#32777: 27.0.50; window-buffer gets wrong point

From: martin rudalics <[email-masked]>
Date: Fri, 21 Dec 2018 10:15:28 +0100

> If the underlying problem can't be fixed, then maybe at least fix
 > this particular case like Federico proposed?

I would like to hear Eli's opinion first.  Eli can you please have a
look at

https://debbugs.gnu.org/cgi/bugreport.cgi?bug=32777#26

and tell us whether my analysis there is correct?  If so, do you have
any ideas how to proceed?

Thanks, martin