Re: [infra-tests] Two tools-related doc fixes (#5744)

Received on Monday, 1 May 2017 17:08:40 UTC