chiark / gitweb /
Change key exchange message interface. Maintain statistics.