HomeIsabelle/Phabricator

avoid duplicate Timing messages (see also 5c4800f6b25a);

Authored by makarius.