Congrats! Enjoy the time without sleep. Thanks, Xinyu
On Tue, Jun 26, 2018 at 10:12 AM, Griselda Cuevas <[email protected]> wrote: > Enjoy the time off Kenn! > > > On Tue, 26 Jun 2018 at 12:14, Kai Jiang <[email protected]> wrote: > >> Congrats! Enjoy your family time. >> >> Best, >> Kai >> >> On Tue, Jun 26, 2018, 09:11 Alan Myrvold <[email protected]> wrote: >> >>> Congrats, Kenn and have a great break. >>> >>> On Tue, Jun 26, 2018 at 9:10 AM Alexey Romanenko < >>> [email protected]> wrote: >>> >>>> Best wishes to you and your family, Kenneth! >>>> >>>> Alexey >>>> >>>> On 26 Jun 2018, at 15:45, Rafael Fernandez <[email protected]> wrote: >>>> >>>> Have a great time, Kenn! >>>> >>>> On Tue, Jun 26, 2018 at 5:49 AM Ismaël Mejía <[email protected]> wrote: >>>> >>>>> 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 >>>>>> >>>>> >>>>
