> With the domain change from openjdk.java.net to openjdk.org, references to 
> URLs in the sources should be updated.
> 
> Updates were made using a shell script. I"ll run a copyright updater before 
> any push.

Joe Darcy has updated the pull request incrementally with one additional commit 
since the last revision:

  Undo manpage update.

-------------

Changes:
  - all: https://git.openjdk.org/jdk/pull/10501/files
  - new: https://git.openjdk.org/jdk/pull/10501/files/2f257762..04dfc3ef

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=10501&range=02
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=10501&range=01-02

  Stats: 5 lines in 1 file changed: 0 ins; 0 del; 5 mod
  Patch: https://git.openjdk.org/jdk/pull/10501.diff
  Fetch: git fetch https://git.openjdk.org/jdk pull/10501/head:pull/10501

PR: https://git.openjdk.org/jdk/pull/10501

Reply via email to