Re: [REPORT] Open Pull Requests 2018-09-04

Chris Hupman <chris...@...>

Thanks for the bump. PR#238 was well past lazy consensus and is now merged. PR#1286 got a couple reviews today and I'll try to carve out time to review at least one of the other three tomorrow. 

On Wednesday, October 31, 2018 at 10:11:54 AM UTC-7, Alexandr Porunov wrote:
Pull Requests which need review 2018-10-31:

Join { to automatically receive all group messages.