On Thu, 9 May 2024 14:41:13 GMT, Jonathan Gibbons wrote:
> (Minor). at least within the context of this PR, tags like `@param` and
> `@throws` are stylistically inconsistent as to whether they begin with a
> capital letter and end with a period. (I have not checked for local
> consistency
On Thu, 9 May 2024 14:23:37 GMT, Pavel Rappo wrote:
>> Please review this PR which introduces the `java.io.IO` top-level class and
>> three methods to `java.io.Console` for [Implicitly Declared Classes and
>> Instance Main Methods (Third Preview)].
>>
>> This PR has been obtained as `git
> Please review this PR which introduces the `java.io.IO` top-level class and
> three methods to `java.io.Console` for [Implicitly Declared Classes and
> Instance Main Methods (Third Preview)].
>
> This PR has been obtained as `git merge --squash` of a now obsolete [draft
> PR].
>
>