Skip to content

update list of copyright holders

Bernd Flemisch requested to merge cherry-pick-ed7b441e into master

(cherry picked from commit ed7b441e)

Patch got lost during transition next -> master.

Merge request reports