chiark / gitweb /
Handle properly SHARED_VERSION_INFO.