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