Use override as we already use it in repo

Authored by mlaurent on Jan 29 2018, 6:18 AM.

Description

Use override as we already use it in repo

Details

Committed
mlaurentJan 29 2018, 6:18 AM
Parents
R120:49c493fa985d: Merge branch 'Plasma/5.11'
Branches
Unknown
Tags
Unknown