On Wed, May 31, 2017 at 07:58:54AM +0100, Richard Sandiford wrote:
> Ping
>
> Richard Sandiford writes:
> > This patch just adds a helper function for getting the next strinfo
> > in a chain, since part 2 adds another place where we do that.
> >
> > Tested on aarch64-linux-gnu and x86_64-linux-gn
Ping
Richard Sandiford writes:
> This patch just adds a helper function for getting the next strinfo
> in a chain, since part 2 adds another place where we do that.
>
> Tested on aarch64-linux-gnu and x86_64-linux-gnu. OK to install?
>
> Thanks,
> Richard
>
>
> 2017-05-16 Richard Sandiford
>
