Reminder, as mentioned in the notes from last week, the next Higgins developers call is Thursday July 8 at the Noon EDT.
_______________________________________________ higgins-dev mailing list [email protected] https://dev.eclipse.org/mailman/listinfo/higgins-dev
