chiark / gitweb /
random-seed: create parents of RANDOM_SEED if they do not exist.