Re: Typo in README.barrier

[David Rowley]

On Mon, 17 May 2021 at 16:45, Tatsuo Ishii <is...@sraoss.co.jp> wrote:
> Would you like to push the patch?

Yeah, I can. I was just letting it sit for a while to see if anyone
else had an opinion about backpatching.

David