Use override keyword

Authored by mlaurent on Feb 11 2018, 7:09 PM.

Description

Use override keyword

Details

Committed
mlaurentFeb 11 2018, 7:09 PM
Parents
R120:1a273f6a0230: Merge branch 'Plasma/5.12'
Branches
Unknown
Tags
Unknown