Hi,

could please somebody from WebUI people look at this [1] change set? It
is correct and harmless as far as I can see, but someone more
experienced might see it differently.

Thanks,

Peter

[1] https://github.com/gatein/gatein-portal/pull/644
_______________________________________________
gatein-dev mailing list
gatein-dev@lists.jboss.org
https://lists.jboss.org/mailman/listinfo/gatein-dev