Hi, On Saturday 06 December 2014 13:26:22 Vincent Bernat wrote: > Humm. Both /bin/sleep and sleep in dash seems to work without a problem > with non-integer sleep times. >
It's a bug nevertheless. Cf. SUSv3. Cheers, -- Raphael Geissert -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org