chiark / gitweb /
[PATCH] fix stupid all_partitions bug