On Tue, Oct 25, 2016 at 12:43:34PM +0200, Petr Šabata wrote: > On Tue, Oct 25, 2016 at 11:36:49PM +1300, David Phillips wrote: > > I'm getting massive déja-vu from this, I remember an issue on github for > > a similar problem—perhaps with another wm. Unfortunately, I cannot > > remember. > > > > Perhaps someone can remind me > > > > Cheers > > It was on this list. > http://lists.suckless.org/dev/1608/30245.html > > P
That's definitely the thread I was thinking of. The link to an example github issue which caused the crash is what confused me. Nice memory, and/or search-fu.