chiark / gitweb /
util-lib: add ordered_set_ensure_allocated()