tree df330bb7279601f972997d65a4223e9510ffe9a3
parent c152e6f5be7940dcbbbee9bac74ca7398e073a66
author Davide Pesavento <davide.pesavento@lip6.fr> 1471138802 +0200
committer Davide Pesavento <davide.pesavento@lip6.fr> 1471145560 +0200

management+util: add 'override' specifier where applicable

Change-Id: Iafb9c2c59026e4268522120f405585ba35fac248