chiark / gitweb /
Introduce a `shuffle' utility function.