Re: [PATCH v4] Avoid unnecessarily numbering cloned symbols.

[Martin Liška]

On 10/29/18 6:43 PM, Michael Ploujnikov wrote:
> Thanks for installing the patch while I figure out the SVN access.
> - Michael

Installed as r265621.

Martin