Re: [PATCH] Document PSTL linker flags

[Jonathan Wakely]

On 23/04/19 09:54 -0700, Thomas Rodgers wrote:

         * doc/xml/manual/using.xml: Add PSTL linker flags to table 3.1.

OK - thanks.