Hi Dawid, how are you? Sorry to bother you, I would like to have your opinion, is bug https://bugs.eclipse.org/bugs/show_bug.cgi?id=531052 something new or not? Actually not a major bug, but just pretty "ugly" 😉
Thierry.
_______________________________________________ pdt-dev mailing list pdt-dev@eclipse.org To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/pdt-dev
