Subject: Re: bug#20398: 25.0.50; Clicking `window-divider-last-pixel' in help for `window-divider'

From: Stefan Monnier <[email-masked]>
Date: Sun, 03 May 2015 01:42:17 -0400

> If someone just told me how to investigate this.  So far I failed
> miserably to do that :-(

I'll have to try and investigate it, to see how/if I could help you with
it,

        Stefan