Re: RFR: JDK-8282559: Allow multiple search terms in javadoc search [v3]

[Hannes Wallnöfer]

On Wed, 4 May 2022 20:33:28 GMT, Jonathan Gibbons <j...@openjdk.org> wrote:

> Approved, with a grammar suggestion.

Thanks for the thumbs up, I added a commit with the suggested comma.

-------------

PR: https://git.openjdk.java.net/jdk/pull/8185