On Thu, 17 Apr 2025 22:43:59 GMT, Roger Riggs <rri...@openjdk.org> wrote:
> I'm fine with moving `readString` to `Reader`. Given that [Reader.read(char[])](https://docs.oracle.com/en/java/javase/24/docs/api/java.base/java/io/Reader.html#read(char[])) exists, this should be a trivial change, implementation-wise. ------------- PR Comment: https://git.openjdk.org/jdk/pull/24728#issuecomment-2814167072
