chiark / gitweb /
shared: remove now unused function