Merge latest devs from staging (minor changes)

Boris Baldassarirequested to merge
staging into dev

Merge request reports

Copyright © Eclipse Foundation AISBL. All rights reserved.     Privacy Policy | Terms of Use | Copyright Agent