[PATCH] Add a note about Debugging Tools devroom at FOSDEM 2018 to gdb's news

[PATCH] Add a note about Debugging Tools devroom at FOSDEM 2018 to gdb's news

[Ivo Raisr]

[-- Attachment #1: Type: text/plain, Size: 60 bytes --]

This patch is against gdb's web pages versioned in CVS.

I.

[-- Attachment #2: gdb-www.patch --]
[-- Type: text/x-patch, Size: 1918 bytes --]

Index: index.html
===================================================================
RCS file: /cvs/gdb/htdocs/index.html,v
retrieving revision 1.238
diff -u -r1.238 index.html
--- index.html	26 Sep 2017 12:19:49 -0000	1.238
+++ index.html	14 Oct 2017 19:46:01 -0000
@@ -100,6 +100,16 @@
 
 -->
 
+<dt>October 14th, 2017: <b>Debugging Tools Devroom at FOSDEM 2018</b></dt>
+<dd>
+<p>We will have a <a href="https://fosdem.org/2018/schedule/track/debugging_tools">Debugging
+Tools Devroom</a> at <a href="https://fosdem.org/2018">FOSDEM 2018</a>.
+The <a href="https://lists.fosdem.org/pipermail/fosdem/2017-October/002620.html">Call
+for Participation</a> has recently been announced.</p>
+<p>The Devroom is on the first of the two FOSDEM days, on Saturday 3 Feb 2018.
+See you all at FOSDEM in Brussels!</p>
+</dd>
+
 <dt>September 7th, 2017: <b>GDB 8.0.1 Released!</b></dt>
 <dd>
 <p> The latest version of GDB, version 8.0.1, is available for <a
Index: news/index.html
===================================================================
RCS file: /cvs/gdb/htdocs/news/index.html,v
retrieving revision 1.137
diff -u -r1.137 index.html
--- news/index.html	26 Sep 2017 12:19:49 -0000	1.137
+++ news/index.html	14 Oct 2017 19:46:02 -0000
@@ -62,6 +62,16 @@
 
 -->
 
+<dt>October 14th, 2017: <b>Debugging Tools Devroom at FOSDEM 2018</b></dt>
+<dd>
+<p>We will have a <a href="https://fosdem.org/2018/schedule/track/debugging_tools">Debugging
+Tools Devroom</a> at <a href="https://fosdem.org/2018">FOSDEM 2018</a>.
+The <a href="https://lists.fosdem.org/pipermail/fosdem/2017-October/002620.html">Call
+for Participation</a> has recently been announced.</p>
+<p>The Devroom is on the first of the two FOSDEM days, on Saturday 3 Feb 2018.
+See you all at FOSDEM in Brussels!</p>
+</dd>
+
 <dt>September 7th, 2017: <b>GDB 8.0.1 Released!</b></dt>
 <dd>
 <p> The latest version of GDB, version 8.0.1, is available for <a

[PING][PATCH] Add a note about Debugging Tools devroom at FOSDEM 2018 to gdb's news

[Ivo Raisr]

[-- Attachment #1: Type: text/plain, Size: 332 bytes --]

Please can you have a look?
I.


-------- Forwarded Message --------
Subject: [PATCH] Add a note about Debugging Tools devroom at FOSDEM 2018
to gdb's news
Date: Sat, 14 Oct 2017 21:50:54 +0200
From: Ivo Raisr <ivo.raisr@oracle.com>
To: GDB <gdb-patches@sourceware.org>

This patch is against gdb's web pages versioned in CVS.

I.


[-- Attachment #2: gdb-www.patch --]
[-- Type: text/x-patch, Size: 1919 bytes --]

Index: index.html
===================================================================
RCS file: /cvs/gdb/htdocs/index.html,v
retrieving revision 1.238
diff -u -r1.238 index.html
--- index.html	26 Sep 2017 12:19:49 -0000	1.238
+++ index.html	14 Oct 2017 19:46:01 -0000
@@ -100,6 +100,16 @@
 
 -->
 
+<dt>October 14th, 2017: <b>Debugging Tools Devroom at FOSDEM 2018</b></dt>
+<dd>
+<p>We will have a <a href="https://fosdem.org/2018/schedule/track/debugging_tools">Debugging
+Tools Devroom</a> at <a href="https://fosdem.org/2018">FOSDEM 2018</a>.
+The <a href="https://lists.fosdem.org/pipermail/fosdem/2017-October/002620.html">Call
+for Participation</a> has recently been announced.</p>
+<p>The Devroom is on the first of the two FOSDEM days, on Saturday 3 Feb 2018.
+See you all at FOSDEM in Brussels!</p>
+</dd>
+
 <dt>September 7th, 2017: <b>GDB 8.0.1 Released!</b></dt>
 <dd>
 <p> The latest version of GDB, version 8.0.1, is available for <a
Index: news/index.html
===================================================================
RCS file: /cvs/gdb/htdocs/news/index.html,v
retrieving revision 1.137
diff -u -r1.137 index.html
--- news/index.html	26 Sep 2017 12:19:49 -0000	1.137
+++ news/index.html	14 Oct 2017 19:46:02 -0000
@@ -62,6 +62,16 @@
 
 -->
 
+<dt>October 14th, 2017: <b>Debugging Tools Devroom at FOSDEM 2018</b></dt>
+<dd>
+<p>We will have a <a href="https://fosdem.org/2018/schedule/track/debugging_tools">Debugging
+Tools Devroom</a> at <a href="https://fosdem.org/2018">FOSDEM 2018</a>.
+The <a href="https://lists.fosdem.org/pipermail/fosdem/2017-October/002620.html">Call
+for Participation</a> has recently been announced.</p>
+<p>The Devroom is on the first of the two FOSDEM days, on Saturday 3 Feb 2018.
+See you all at FOSDEM in Brussels!</p>
+</dd>
+
 <dt>September 7th, 2017: <b>GDB 8.0.1 Released!</b></dt>
 <dd>
 <p> The latest version of GDB, version 8.0.1, is available for <a

Re: [PING][PATCH] Add a note about Debugging Tools devroom at FOSDEM 2018 to gdb's news

[Pedro Alves]

Hi Ivo,

On 10/24/2017 08:34 AM, Ivo Raisr wrote:
> Please can you have a look?

This looks fine to me, thanks for doing this!

My trouble is that IIUC, pushing patches to the web site involves 
pushing them both to the sourceware repo, and to the copy of the repo on 
https://www.gnu.org/software/gdb/ as well, and I've never done that
myself.  (I should probably learn how to do that.)

I've added Joel to CC (who usually handles this), though I believe
he's away this week.

Thanks,
Pedro Alves

Re: [PING][PATCH] Add a note about Debugging Tools devroom at FOSDEM 2018 to gdb's news

[Joel Brobecker]

> On 10/24/2017 08:34 AM, Ivo Raisr wrote:
> > Please can you have a look?
> 
> This looks fine to me, thanks for doing this!
[...]
> I've added Joel to CC (who usually handles this)

Always happy to do so. Thanks for sending us a patch; I've applied it.

-- 
Joel