Fix unique timer multi instance

Message ID scheduler-tools/rt-app@76
State New
Headers show

Message

Vincent Guittot Feb. 22, 2019, 2:27 p.m.
# https://github.com/scheduler-tools/rt-app/pull/76
This represents a change submitted via Github. It is mirrored
here so that it is included in our statistics.