In my original submission, which Arnaud approved, I failed to copy
gcc-patches, so let me share the committed patch (revision 245297)
here as well.
(Note that there is an extra space after the URL so that copy&paste
or clicking works.)
Gerald
2017-02-09 Gerald Pfeifer <ger...@pfeifer.com>
* comperr.adb: Update FSF bug reporting URL.
Index: comperr.adb
===================================================================
--- comperr.adb (revision 245296)
+++ comperr.adb (working copy)
@@ -294,7 +294,7 @@
if Is_FSF_Version then
Write_Str
("| Please submit a bug report; see" &
- " http://gcc.gnu.org/bugs.html.";);
+ " https://gcc.gnu.org/bugs/ .");
End_Line;
elsif Is_GPL_Version then
