Back out the NEWS change from r20096 and make it its own proper entry

in the v1.3 section (not the v1.2.5 section -- thanks for noticing,
Tim!).  Refs trac:1705 -- this commit should be considered part of that
CMR.

This commit was SVN r20115.

The following SVN revision numbers were found above:
  r20096 --> open-mpi/ompi@cad0f41391

The following Trac tickets were found above:
  Ticket 1705 --> https://svn.open-mpi.org/trac/ompi/ticket/1705

NEWS

@@ -38,6 +38,9 @@ Trunk (not on release branches yet)
 1.3 (not released yet)
 ---
 
+- Extended the OS X 10.5.x (Leopard) workaround for a problem when
+  assembly code is compiled with -g[0-9].  Thanks to Barry Smith for
+  reporting the problem.  See ticket #1701.
 - Disabled MPI_REAL16 and MPI_COMPLEX32 support on platforms where the
   bit representation of REAL*16 is different than that of the C type
   of the same size (usually long double).  Thanks to Julien Devriendt
@@ -230,7 +233,7 @@ Trunk (not on release branches yet)
 - Added support for parallel debuggers even when we have an optimized build.
   See ticket #1178.
 - Worked around a bus error in the Mac OS X 10.5.X (Leopard) linker when
-  compiling Open MPI with -g|-g[0-9].  See ticket #1179.
+  compiling Open MPI with -g.  See ticket #1179.
 - Removed some warnings about 'rm' from Mac OS X 10.5 (Leopard) builds.
 - Fix the handling of mx_finalize().  See ticket #1177.
   Thanks to Ake Sandgren for bringing this issue to our attention.