Huge thanks to our Platinum Members Endace and LiveAction,
and our Silver Member Veeam, for supporting the Wireshark Foundation and project.

Wireshark-dev: [Wireshark-dev] Petri-Dish stuck?

From: Gerald Combs <gerald@xxxxxxxxxxxxx>
Date: Wed, 29 Aug 2018 08:16:52 -0700
On 8/28/18 10:04 PM, Anders Broman wrote:
> Hi 
> It seems like no builds has come through in a while. 
> Regards 
> Anders

The Ubuntu builder disconnected. I rebooted it.