On Thu, Dec 20, 2018 at 12:17 AM Chris M. Thomasson wrote:
>
> On Wednesday, December 19, 2018 at 2:02:31 AM UTC-8, Dmitry Vyukov wrote:
>>
>> On Wed, Dec 19, 2018 at 7:05 AM Chris M. Thomasson
>> wrote:
>> >
>> > On Monday, December 17, 2018 at 11:23:20 PM UTC-8, Chris M. Thomasson
>> >
On Thursday, December 20, 2018 at 3:03:05 PM UTC-8, Chris M. Thomasson
wrote:
>
> On Wednesday, December 19, 2018 at 3:17:18 PM UTC-8, Chris M. Thomasson
> wrote:
>>
>> On Wednesday, December 19, 2018 at 2:02:31 AM UTC-8, Dmitry Vyukov wrote:
>>>
>>> On Wed, Dec 19, 2018 at 7:05 AM Chris M.
