> On Aug 23, 2019, at 07:55, Ed Merks <ed.me...@gmail.com> wrote: > Or perhaps the self-hosted launch could be smarter to disable this > automatically?
https://bugs.eclipse.org550353 -Gunnar -- Gunnar Wagenknecht gun...@wagenknecht.org, http://guw.io/ _______________________________________________ cross-project-issues-dev mailing list cross-project-issues-dev@eclipse.org To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/cross-project-issues-dev