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