On Thu, Dec 10, 2020 at 9:25 PM Brian Burkhalter
<brian.burkhal...@oracle.com> wrote:
>
> Hi Philippe,
>
> On Dec 10, 2020, at 12:03 PM, Philippe Marschall 
> <philippe.marsch...@gmail.com> wrote:
>
> ...
>
>
> I think that core-libs-dev (CCed) would be more appropriate as java.io 
> package changes are usually discussed there.

Thank you.

> Do you have the ability to file an issue? If not, I can do so.

I don't have the ability to file an issue. The bug that Pavel found is
enough for me to work on for now. If you believe pursuing two other
improvements would be worthwhile I could work on them as well if you
file issues for them.

Cheers
Philippe

Reply via email to