Merge branch 'patch/5631'

* patch/5631:
  fixes to patch #5631
  Patch #5631: Fix bug in sequencer timer in GaudiAlg

https://savannah.cern.ch/patch/?5631

From: Marco Clemencic <marco.clemencic@cern.ch>


git-svn-id: file:///afs/cern.ch/work/b/binet/dev/repos/gaudi-svn-mirror/Gaudi/trunk/GaudiAlg@7194 22b0f739-a4da-4a50-9948-337547c35a65