chiark / gitweb /
cgi/ip: Fix header comment.