We use <h1> for the site's title, <h2> for the page title, and <h3>
for sections under that. These two pages were using <h2> for page
sections lower down, so fix them up.
The GDB Maintainers also appoint the <a href="release-manager.html">GDB
Release Manager</a>.
-<h2>Appointed Maintainers</h2>
+<h3>Appointed Maintainers</h3>
<p>
The current official FSF-appointed GDB Maintainers are listed below,
<p>Verbatim copying and distribution of this entire article is
permitted in any medium, provided this notice is preserved.</p>
-<p>Last modified 2023-12-11.</p>
+<p>Last modified 2023-12-14.</p>
</address>
</body>
</dt> <dd> A read-only list for <tt>cron</tt> log
messages and other dull boring stuff.</dd>
-<h2>Former Resources, No Longer Active Nor Monitored</h2>
+<h3>Former Resources, No Longer Active Nor Monitored</h3>
<dt><a href="news:gnu.gdb.bug"> <b>gnu.gdb.bug</b></a></dt>
<dd> (mail relay <a href="https://lists.gnu.org/archive/html/bug-gdb/"
<p>Verbatim copying and distribution of this entire article is
permitted in any medium, provided this notice is preserved.</p>
-<p>Last modified 2023-12-11.</p>
+<p>Last modified 2023-12-14.</p>
</address>
</body>