git: openjdk/mobile: 2 new changesets

[duke]

Changeset: 52ec4bcb
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
Date:      2023-08-09 09:50:21 +0000
URL:       https://git.openjdk.org/mobile/commit/52ec4bcb1bab15dbf0a9b2488d33a23cdc1cb0e1

8303056: Improve support for Unicode characters and digits in JavaDoc search

Reviewed-by: jjg

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/search.js.template
! test/langtools/jdk/javadoc/doclet/testSearchScript/TestSearchScript.java
! test/langtools/jdk/javadoc/doclet/testSearchScript/listpkg/List.java
! test/langtools/jdk/javadoc/doclet/testSearchScript/listpkg/ListProvider.java
! test/langtools/jdk/javadoc/doclet/testSearchScript/listpkg/MyList.java

Changeset: 7a18d4da
Author:    duke <duke at openjdk.org>
Date:      2023-08-09 09:51:06 +0000
URL:       https://git.openjdk.org/mobile/commit/7a18d4da72223bf31e4d1e1b4727042958d4f93b

Automatic merge of jdk:master into master