freenode/#mezzano - IRC Chatlog Search Monday, 12th of March 2018, 18:48:41 UTC 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.