[PATCH] x32: Update baseline_symbols.txt

[Jakub Jelinek]

On Wed, May 06, 2020 at 02:14:58PM +0100, Jonathan Wakely wrote:
> > Here is the x32 part.  OK for master and GCC 10 branch?
> 
> OK, subject to RM approval for gcc-10 branch.

Ok for 10.1.

	Jakub