git: openjdk/mobile: 2 new changesets

[duke]

Changeset: 8e2a533d
Author:    Joe Darcy <darcy at openjdk.org>
Date:      2023-08-28 20:43:54 +0000
URL:       https://git.openjdk.org/mobile/commit/8e2a533df69d32c419d035068ac3964dd9f98b7b

8315137: Add explicit override RecordComponentElement.asType()

Reviewed-by: jjg

! src/java.compiler/share/classes/javax/lang/model/element/Element.java
! src/java.compiler/share/classes/javax/lang/model/element/RecordComponentElement.java

Changeset: 675aadd4
Author:    duke <duke at openjdk.org>
Date:      2023-08-28 20:44:07 +0000
URL:       https://git.openjdk.org/mobile/commit/675aadd4c8ce515721e2bad1922a8747098bc49c

Automatic merge of jdk:master into master