Enjoy your family time. Best wishes, Ismael
On Tue, Jun 26, 2018 at 12:13 PM Pei HE <[email protected]> wrote: > (A late) Congrats for the newborn! > -- > Pei > > On Tue, Jun 26, 2018 at 1:42 PM, Kenneth Knowles <[email protected]> wrote: > > Hi friends, > > > > I think I did not mention on dev@ at the time, but my child #2 arrived > March > > 14 (Pi day!) and I took some weeks off. Starting ~July 4 I will be > taking a > > more significant absence, until ~October 1, trying my best to be totally > > offline. > > > > JFYI so that you know why JIRAs and PRs are not being addressed. I am > also > > unassigning my JIRAs so that I am not holding any mutexes, and I will > close > > PRs so they don't get stale. > > > > Any questions or pressing issues, I will be online this week and a little > > bit next week. > > > > Kenn >
