Re: [boost] [review queue] we seem to have double allocated early September for review --- what to do?

9 Sep 2017

      On Sep 9, 2017 7:16 AM, "Ronald Garcia"  wrote:

Thorsten,

Does September 21-30 work for you and Benedek?  It is a good idea to keep a
small buffer between reviews, especially in case an extension is needed.

Best,
Ron

Fine with me.

Thanks,
Benedek

Benedek Thaler