Wireshark-dev: Re: [Wireshark-dev] retrigger petri dish buildbot
From: Erwin Rol <mailinglists@xxxxxxxxxxxx>
Date: Sat, 25 Jan 2020 12:24:53 +0100
Hey Pascal,

On Sat, 2020-01-25 at 10:48 +0100, Pascal Quantin wrote:
> Hi Erwin,
> 
> Le sam. 25 janv. 2020 à 10:44, Erwin Rol <mailinglists@xxxxxxxxxxxx> a écrit :
> > Hey all,
> > 
> > It is this patch;
> > 
> > https://code.wireshark.org/review/c/35915/
> 
> I just triggered Petri-Dish.
> 
> Best regards,
> Pascal.
> 

Thanx, it ran and passed, now I only need someone to do a CR and a
merge ;-) 

- Erwin