> 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

Reply via email to