chiark / gitweb /
tools: add gdb command to dump hashmap information