> On 14 Oct 2020, at 16:45, Alex Blewitt <alex.blew...@gmail.com> wrote: > > You can add &r=1 to the end of the URL to be automatically redirected: ...
Good to know, thank you. Is this documented somewhere? > My expectation is that users won’t read and follow directions :) Unfortunately. :-( This is why my notice to remove the quarantine attribute is right below the link, to make it as visible as possible. So far it look it worked. Regards, Liviu _______________________________________________ platform-dev mailing list platform-dev@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/platform-dev
