given that #844 is merged, is this ready to merge as well ?

[ Full content available at: 
https://github.com/apache/incubator-netbeans/pull/805 ]
This message was relayed via gitbox.apache.org for [email protected]

Reply via email to