Integrated: Copy edits, terminology fixes, and factual corrections to the README and the introduction
Mark Reinhold
mr at openjdk.java.net
Fri Jun 19 23:52:12 UTC 2020
On Thu, 18 Jun 2020 21:37:45 GMT, Mark Reinhold <mr at openjdk.org> wrote:
> - Change “OpenJDK community” to “OpenJDK Community”
> - Omit needless words
> - s/like/such as/g
> - Fix various typos and grammatical errors
> - Tone down “contains the defacto standard” to “suggests”
> - The OpenJDK Community was launched in November 2006, not May 2007
This pull request has now been integrated.
Changeset: f192a324
Author: Mark Reinhold <mr at openjdk.org>
URL: https://git.openjdk.java.net/guide/commit/f192a324
Stats: 37 lines in 2 files changed: 0 ins; 1 del; 36 mod
Copy edits, terminology fixes, and factual corrections to the README and the introduction
Reviewed-by: jwilhelm
-------------
PR: https://git.openjdk.java.net/guide/pull/18
More information about the guide-dev
mailing list