chiark / gitweb /
prefork-interp: Rename read_greeting (from protocol_greeting)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 15 Aug 2022 17:50:41 +0000 (18:50 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 21 Aug 2022 20:21:10 +0000 (21:21 +0100)
This is clearer.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

No differences found