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

[Martin Liška]

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 <sergiodj@sergiodj.net>
> ---
>  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 @@
>            <TD>all</TD>
>          </TR>
>                  
> +        <TR><TD><font size="-2">https://debuginfod.ubuntu.com/</font></TD>
> +          <TD><a href="https://lists.ubuntu.com/archives/ubuntu-devel-announce/2022-September/001320.html">official</a></TD>
> +          <TD><tt><font size="-1">sergiodj@ubuntu.com</font></tt></TD>
> +          <TD><a href="https://debian.org/"><a href="https://releases.ubuntu.com/">Support Ubuntu releases</a></TD>
> +          <TD>all</TD>
> +          <TD>all</TD>
> +        </TR>
> +
>        </TABLE>
>        <BR></BR>
>