26 May
2020
26 May
'20
8:54 p.m.
On Tue, May 26, 2020 at 03:19:44PM -0500, Daniel Díaz wrote:
Hi, Greg!
I have not seen any pushes to the stable-rc trees in the hours leading to your emails being sent. Naresh sent reports for the trees as they were yesterday. I guess my question is if you are about to push something else or if this time we beat our record (-13 hours!).
Oops, everything is now pushed, my script timed out on that part, sorry about that.
thanks,
gregk -h