chiark / gitweb /
journal: fix symbol versioning file