On Mon, Jun 1, 2015 at 1:06 PM, Marcus Denker <marcus.denker@inria.fr> wrote:
No, I think it means that this update just updated the config but did not load anything.

:D
Right, for all other commits changes are visible