Add missing copyright.

In order to avoid merge conflicts, I'd rather merge it after !202 (merged) is merged into master.

Merge request reports

Loading