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 <sergi...@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">sergi...@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> >
