> On Oct 17, 2016, at 10:19 AM, Joe Groff via swift-dev
> wrote:
>> On Oct 17, 2016, at 9:57 AM, Michael Gottesman wrote:
>>
>>>
>>> On Oct 17, 2016, at 9:42 AM, Joe Groff via swift-dev
>>> wrote:
>>>
>>>
On Oct 16,
> On Oct 17, 2016, at 10:19 AM, Joe Groff wrote:
>
>
>> On Oct 17, 2016, at 9:57 AM, Michael Gottesman wrote:
>>
>>>
>>> On Oct 17, 2016, at 9:42 AM, Joe Groff via swift-dev
>>> wrote:
>>>
>>>
On Oct 16, 2016, at 1:10 PM,
> On Oct 17, 2016, at 9:57 AM, Michael Gottesman wrote:
>
>>
>> On Oct 17, 2016, at 9:42 AM, Joe Groff via swift-dev
>> wrote:
>>
>>
>>> On Oct 16, 2016, at 1:10 PM, Dave Abrahams via swift-dev
>>> wrote:
>>>
>>>
>>> on