freenode/#stumpwm - IRC Chatlog Search Saturday, 17th of August 2019, 8:55:11 UTC 12:45:06 loke Hello, nyone here this evening? 19:06:16 notarock Anything I should know before I open a pull request on stumpwm-contrib? :D 19:59:17 PuercoPop notarock: Just that it may take a while before it gets merged or feedback