It should already be fixed (permission problem). On 08.12.20 14:35, Liviu Ionescu wrote: > > >> On 8 Dec 2020, at 15:21, Frederic Gurr >> <[email protected]> wrote: >> >> I'm looking into it. > > Given that the build passed, as Nico suggested, I also manually approved the > commit, but it would be nice to have it fixed. > > > Regards, > > Liviu > > _______________________________________________ > cross-project-issues-dev mailing list > [email protected] > To unsubscribe from this list, visit > https://www.eclipse.org/mailman/listinfo/cross-project-issues-dev >
-- Frederic Gurr Release Engineer | Eclipse Foundation Europe GmbH Annastr. 46, D-64673 Zwingenberg Handelsregister: Darmstadt HRB 92821 Managing Directors: Gaël Blondelle, Mike Milinkovich _______________________________________________ cross-project-issues-dev mailing list [email protected] To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/cross-project-issues-dev
