> On 29 Apr 2020, at 11:36, Magnus Ihse Bursie <[email protected]> 
> wrote:
> 
> ...
> 
> Bug: https://bugs.openjdk.java.net/browse/JDK-8244093
> WebRev: 
> http://cr.openjdk.java.net/~ihse/JDK-8244093-move-ide-support/webrev.01


The make/idea changes look ok to me.

-Chris.

Reply via email to