# HG changeset patch
# User Wuzzy
# Date 1540331770 -3600
# Node ID 944b942dab3d9d5b96262f961cf2b74ca2e6a8f5
# Parent  00bcd6b833a583d7c3314141fbdb58776c676ffc
ProtocolNumbers: update summary

diff -r 00bcd6b833a5 -r 944b942dab3d ProtocolNumbers.wiki
--- a/ProtocolNumbers.wiki	Wed Oct 10 17:26:35 2018 +0100
+++ b/ProtocolNumbers.wiki	Tue Oct 23 22:56:10 2018 +0100
@@ -1,4 +1,4 @@
-#summary List of protocol numbers
+#summary Explanation and list of protocol numbers
 
 = Protocol numbers =