On Wed, 5 Apr 2023 17:29:17 GMT, Jonathan Gibbons <[email protected]> wrote:
> Please review a docs-only change to add `@spec` tags into `java.desktop` > public API files On the use of `rfc-editor.org`, this site came up during the original all-in-one version of this work in PR #11073. See, for example, these messages: * https://github.com/openjdk/jdk/pull/11073#issuecomment-1310899778 * https://github.com/openjdk/jdk/pull/11073#issuecomment-1331588069 So, despite being a non-obvious host name, it seems like this is the preferred long-term place to references to RFCs. ------------- PR Comment: https://git.openjdk.org/jdk/pull/13360#issuecomment-1504018769
