RFR: Fix merge bug
Jesper Wilhelmsson
jwilhelm at openjdk.java.net
Thu Dec 17 00:41:10 UTC 2020
A merge in the latest change undid an older fix in the maintainer-pain anchor.
-------------
Commit messages:
- Fixed merge bug
Changes: https://git.openjdk.java.net/guide/pull/40/files
Webrev: https://webrevs.openjdk.java.net/?repo=guide&pr=40&range=00
Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
Patch: https://git.openjdk.java.net/guide/pull/40.diff
Fetch: git fetch https://git.openjdk.java.net/guide pull/40/head:pull/40
PR: https://git.openjdk.java.net/guide/pull/40
More information about the guide-dev
mailing list