Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[5.2.0] Update java_tools 11.7.1 #15231

Merged
merged 3 commits into from
Apr 19, 2022
Merged

[5.2.0] Update java_tools 11.7.1 #15231

merged 3 commits into from
Apr 19, 2022

Commits on Apr 15, 2022

  1. Update java_tools v11.7.1 

    A new release was required because bazelbuild@0c65082 caused java_tools to be built targetting java11, inadvertently dropping support for jre8/9/10

Closes bazelbuild#15258.

PiperOrigin-RevId: 441834316

(cherry picked from commit 22c91da)
    @hvadehra
    hvadehra committed Apr 15, 2022
    Configuration menu
    Copy the full SHA
    fc0ac16 View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2022

  1. Automatic code cleanup. 

    PiperOrigin-RevId: 414481809
(cherry picked from commit 1987af2)
    @hvadehra
    hvadehra committed Apr 19, 2022
    Configuration menu
    Copy the full SHA
    c54c310 View commit details
    Browse the repository at this point in the history

  2. Automatic code cleanup. 

    PiperOrigin-RevId: 415349792

(cherry picked from commit ccc9b9d)

A clean cherry pick was not possible since the contents of various files in the change have diverged since this release branch was cut.
    @hvadehra
    hvadehra committed Apr 19, 2022
    Configuration menu
    Copy the full SHA
    bce04b9 View commit details
    Browse the repository at this point in the history