Re: [PATCH 0/7] libsanitizer: merge from trunk

[Jakub Jelinek]

On Wed, Oct 31, 2018 at 12:24:47PM +0100, Martin Liška wrote:
> I install the patch set. If I'm correct one last missing piece should
> be update of LOCAL_PATCHES. I'm sending patch for it.

Ok, thanks.

        Jakub