Re: [science-pmc] Release Review for StatET 4.7.0

[Jay Jay Billings <jayjaybillings@xxxxxxxxx>]

Thanks Stephan! +1 from me.

Jay

On Thu, Mar 23, 2023 at 7:12 PM Stephan Wahlbrink <sw@xxxxxxxxxxxx> wrote:

Hi all,

we plan to release StatET 4.7.0 on 2023-04-06.

https://projects.eclipse.org/projects/science.statet/releases/4.7.0
https://projects.eclipse.org/projects/science.statet/reviews/4.7.0-release-review
==
This release provides several improvements, especially:
   - UImprove SSH support for remote consoles
The target platform of StatET 4.7.0 is the Eclipse IDE 2022-12.
==

I ask you for PMC approval of the release and the corresponding review
materials.

Best,
Stephan
_______________________________________________
science-pmc mailing list
science-pmc@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/science-pmc

--

Jay Jay Billings, Ph.D.