Alright, thank you.

On 8/30/19 2:00 PM, Ricardo Wurmus wrote:
> dftxbs3e <dftxbs3e@free.fr> writes:
>
>> Could that be made into a TODO list?
> I asked them to do this, but there’s nothing more I can do about it.  I
> wouldn’t hold my breath as I know the networking team currently has
> other priorities.
>