The text eb620cd5891d, as Debian 7 (Wheezy) shipped it.
Slurm host list support functions
slurm_hostlist_shift(3) on Linux now
