On Wed, 27 Sep 2023 08:50:20 GMT, Mourad Abbay <[email protected]> wrote:
> Remove redundant type cast in the java.util.stream package. This pull request has now been integrated. Changeset: ad81abd2 Author: Mourad Abbay <[email protected]> Committer: Paul Sandoz <[email protected]> URL: https://git.openjdk.org/jdk/commit/ad81abd2dbddc47d57eceb4d90fe615a6e986fe5 Stats: 5 lines in 3 files changed: 0 ins; 0 del; 5 mod 8317034: Remove redundant type cast in the java.util.stream package Reviewed-by: psandoz ------------- PR: https://git.openjdk.org/jdk/pull/15942
