Re: [PATCH] debuginfod: Add Ubuntu's debuginfod service to the list.

Pushed, thanks for the server! Martin On 9/15/22 03:26, Sergio Durigan Junior via Elfutils-devel wrote: > Signed-off-by: Sergio Durigan Junior > --- > Debuginfod.html | 8 > 1 file changed, 8 insertions(+) > > diff --git a/Debuginfod.html b/Debuginfod.html > index 64fef86c..71bc7c9b 1

[PATCH] debuginfod: Add Ubuntu's debuginfod service to the list.

Signed-off-by: Sergio Durigan Junior --- Debuginfod.html | 8 1 file changed, 8 insertions(+) diff --git a/Debuginfod.html b/Debuginfod.html index 64fef86c..71bc7c9b 100644 --- a/Debuginfod.html +++ b/Debuginfod.html @@ -170,6 +170,14 @@ all +