We're missing a statement on the main news feed about the git transition.
diff --git a/htdocs/index.html b/htdocs/index.html index 41bcfe18..ef85cc97 100644 --- a/htdocs/index.html +++ b/htdocs/index.html @@ -54,6 +54,10 @@ mission statement</a>.</p> <td class="news border0"> <h2 id="news">News</h2> <dl> +<dt><span>GCC source repository converted to <a href="git.html">git</a>.</span> + <span class="date">[2020-01-13]</dt> + <dd>See the <a href="https://gcc.gnu.org/ml/gcc/2020-01/msg00204.html";>announcement</a>.</dd> + <dt><span><a href="gcc-7/">GCC 7.5</a> released</span> <span class="date">[2019-11-14]</span></dt> <dd></dd>
