Re: [v3] Remove duplicate symbol in gnu.ver (PR bootstrap/50715)

[Benjamin Kosnik]

Agh. Sorry about this Rainer. Thanks for the patch.

-benjamin