Signed-off-by: Philippe Krief philippe.krief@eclipse-foundation.org
assigned to @joralmi and @kokolm
approved this merge request
mentioned in commit 94fb79b5
merged
Thank you Philippe. Merging into master and deleting branch.
