Vojtech Szocs has submitted this change and it was merged. Change subject: webadmin,userportal: No need for gwt-plugin.extraJvmArgs in gwt-extension ...................................................................... webadmin,userportal: No need for gwt-plugin.extraJvmArgs in gwt-extension The "gwt-plugin.extraJvmArgs" property was recently moved to frontend parent POM, i.e. frontend/webadmin/modules/pom.xml Specific frontend modules don't need to override this property, its value can be inherited from frontend parent POM. In case of gwt-extension, this property isn't really necessary, since there's no GWT compilation involved when building this module. Change-Id: If3bc42f84e78a487d7c1ad10b82d466ca197fb90 Signed-off-by: Vojtech Szocs <vszocs@redhat.com> --- M frontend/webadmin/modules/gwt-extension/pom.xml 1 file changed, 0 insertions(+), 1 deletion(-) Approvals: Vojtech Szocs: Verified; Looks good to me, approved -- To view, visit http://gerrit.ovirt.org/13173 To unsubscribe, visit http://gerrit.ovirt.org/settings Gerrit-MessageType: merged Gerrit-Change-Id: If3bc42f84e78a487d7c1ad10b82d466ca197fb90 Gerrit-PatchSet: 3 Gerrit-Project: ovirt-engine Gerrit-Branch: master Gerrit-Owner: Vojtech Szocs <vszocs@redhat.com> Gerrit-Reviewer: Asaf Shakarchi <asaf@redhat.com> Gerrit-Reviewer: Daniel Erez <derez@redhat.com> Gerrit-Reviewer: Einav Cohen <ecohen@redhat.com> Gerrit-Reviewer: Vojtech Szocs <vszocs@redhat.com>