Hi, we now have the e4/tools bug category, thanks to John. https://bugs.eclipse.org/bugs/show_bug.cgi?id=395750
I suggest that we open a bug to move the bugs from e4/ui to e4/tools and close the e4/ui category. Is this ok for everyone? If yes, of if I see no disagreement within the next days, I will open such a bug. Best regards, Lars
_______________________________________________ e4-dev mailing list [email protected] https://dev.eclipse.org/mailman/listinfo/e4-dev
