From: Jeff Law Date: Tue, 13 Feb 2018 22:38:42 +0000 (-0700) Subject: Add PR marker for one of Alex's changes X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7d678dbc45aa64fd5c118f7749179a366a53fbe0;p=gcc.git Add PR marker for one of Alex's changes From-SVN: r257645 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ac283a63a9e..0789b4aa6c2 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -28,6 +28,7 @@ 2018-02-13 Alexandre Oliva + PR debug/84342 * common.opt (gas-loc-support, gas-locview-support): New. (ginline-points, ginternal-reset-location-views): New. * doc/invoke.texi: Document them. Use @itemx where intended.