freenode/#stumpwm - IRC Chatlog Search Wednesday, 10th of October 2018, 5:48:24 UTC 13:34:40 PuercoPop sjl: glad to know. Although wondering why one call to refresh-heads is not enough.