On 11/18/19 9:49 PM, Florian Weimer wrote: > I think the file should just be removed. > > Bug: <https://bugs.openjdk.java.net/browse/JDK-8234362> > Webrev: <http://cr.openjdk.java.net/~fweimer/8234362/webrev.01/> > > As usual, I'll need a sponsor for this.
This is OK. How many patches have you done now? maybe it's time to give you commit access. -- Andrew Haley (he/him) Java Platform Lead Engineer Red Hat UK Ltd. <https://www.redhat.com> https://keybase.io/andrewhaley EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671