freenode/#mezzano - IRC Chatlog Search Monday, 12th of March 2018, 12:04:02 UTC 17:12:58 ebrasca Hi 18:04:02 housel hi 18:18:20 froggey hi 18:38:16 fittestbits froggey, I submitted a PR - hopefully this one is just the two files I modified. 18:43:05 froggey ok, merged 18:54:12 fittestbits Thanks 19:11:13 housel PR #73 can be closed (superceded by #74), right? 19:18:57 fittestbits Yes, #73 was superceded by #74.