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.