[science-pmc] Release Review for StatET 4.1.0

[Stephan Wahlbrink <sw@xxxxxxxxxxxx>]

Hi all,

we plan to release StatET 4.1.0 on 2020-03-05.

https://projects.eclipse.org/projects/science.statet/releases/4.1.0
https://projects.eclipse.org/projects/science.statet/reviews/4.1.0-release-review
==
This release focus on improvements of the content and context information 
assistants in the source editors and console of StatET, especially:

  - Add support for substring matching for content assistant proposals
  - Add highlighting of matched characters of content assistant proposals

The target platform of StatET 4.1.0 is the Eclipse IDE 2019-12.
==

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

Best,
Stephan