[Repronim-trd3] Thu May 7th - move to 1pm or 3pm?

[Kyle Meyer]

Yaroslav Halchenko writes:

> On Tue, 05 May 2020, Haselgrove, Christian wrote:
>
>>    Unfortunately I have another meeting at 3.  It's possible that won't run
>>    too long -- it hasn't been recently -- but you can always count on a
>>    meeting running long when you count on it being quick.  1 works for me.
>
> ok, let's make it 2:30-3:00 and I will just hope that previous one would
> afford a sharp cut off ;)

All right, though as I said, I can make 1 work.