The text 8fa3995eceb5, as Debian 7 (Wheezy) shipped it.
set the allowed slack for a timer
set_timer_slack(9) on Linux now
