[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Random domain name resolution errors
From: |
Leo Famulari |
Subject: |
Re: Random domain name resolution errors |
Date: |
Sat, 14 Mar 2020 13:22:45 -0400 |
On Sat, Mar 14, 2020 at 03:59:26PM +0100, Pierre Neidhardt wrote:
> Sorry, forgot to follow up with this thread. Jelle's trick did work for
> me.
>
> The issue happens most of the times when I travel.
> Should we consider this a bug? Can we do something to fix it?
I consider it a bug, please feel free to open a ticket.