On Tue, 25 Aug 2015, H.J. Lu wrote: >> + <li>Added <code>--enable-default-pie</code> configure option to >> + generate PIE by default.</li> >> + </ul> > PING.
How about something more like "The ... configure option enables generation of PIE by default"? That feels more consistent with the rest of the page. Okay with that change. Gerald
