Thanks for getting it fixed.
Bob
On Mon, Oct 28, 2019 at 2:36 PM Graham Bloice
<graham.bloice@xxxxxxxxxxxxx> wrote:
>
>
>
> On Mon, 28 Oct 2019 at 19:49, Michael Tuexen <Michael.Tuexen@xxxxxxxxxxxxxxxxx> wrote:
>>
>> > On 28. Oct 2019, at 18:20, Bob Hinden <bob.hinden@xxxxxxxxx> wrote:
>> >
>> > https://buildbot.wireshark.org/wireshark-master/grid
>> >
>> > Anyone working on fixing this?
>> Isn't it fixed in
>> https://code.wireshark.org/review/#/c/34881/
>>
>> Best regards
>> Michael
>> >
>> > Thanks,
>> > Bob
>> >
>>
>
> Yes, the issue was noted at 17:39 GMT and a fix submitted at 19:06. Sorry our volunteers took so long to sort this out.
>
> --
> Graham Bloice
