Geertjan Wielenga Mon, 13 Aug 2018 02:50:36 -0700
Hi all, plugins.netbeans.org is back.
Apologies for the delay in getting this fixed. Gj
