#266 PR merged: Make use of the new get_partition_number function¶

dagwieers opened issue at 2013-06-28 23:26:¶

---

[Export of Github issue for rear/rear.]