Turns out I already did it earlier. https://bugs.eclipse.org/bugs/show_bug.cgi?id=548216
On Thu, Feb 27, 2020 at 5:09 PM Christian Pontesegger < christian.ponteseg...@web.de> wrote: > Created https://bugs.eclipse.org/bugs/show_bug.cgi?id=560611 > > hope I added the right email address as bugzilla knows more than 1 for > you. > > Christian > > > _______________________________________________ > nebula-dev mailing list > nebula-dev@eclipse.org > To change your delivery options, retrieve your password, or unsubscribe > from this list, visit > https://www.eclipse.org/mailman/listinfo/nebula-dev >
_______________________________________________ nebula-dev mailing list nebula-dev@eclipse.org To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/nebula-dev