freenode/#stumpwm - IRC Chatlog Search Friday, 14th of December 2018, 7:48:36 UTC 7:59:19 scottj PuercoPop: panji's proposed fix is in this PR https://github.com/stumpwm/stumpwm/pull/537 8:00:40 scottj it appears to fix the problem for me.