git: openjdk/mobile: 2 new changesets

[duke]

Changeset: 53d14442
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
Date:      2020-11-27 15:27:19 +0000
URL:       https://git.openjdk.java.net/mobile/commit/53d14442

8244535: JavaDoc search is overly strict with letter case

Reviewed-by: jjg

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/search.js
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/IndexBuilder.java
! test/langtools/jdk/javadoc/doclet/testSearch/TestSearch.java
! test/langtools/jdk/javadoc/doclet/testSearchScript/TestSearchScript.java
! test/langtools/jdk/javadoc/doclet/testSearchScript/javadoc-search.js

Changeset: f8e4149f
Author:    duke <duke at openjdk.org>
Date:      2020-11-27 15:28:26 +0000
URL:       https://git.openjdk.java.net/mobile/commit/f8e4149f

Automatic merge of jdk:master into master