@geertjanw , I have pushed the fix for this. We can merge as soon as @junichi11 approves this.
[ Full content available at: https://github.com/apache/incubator-netbeans/pull/800 ] This message was relayed via gitbox.apache.org for [email protected]
@geertjanw , I have pushed the fix for this. We can merge as soon as @junichi11 approves this.
[ Full content available at: https://github.com/apache/incubator-netbeans/pull/800 ] This message was relayed via gitbox.apache.org for [email protected]