Updated RDMessage.asn to add an extension point (...) to PortNumber.

d606893b · marthy · d21966a2 · d606893b
Commit d606893b authored Oct 21, 2021 by marthy
--- a/102657/RDMessage.asn
+++ b/102657/RDMessage.asn
@@ -2826,7 +2826,8 @@ IPAddress ::= CHOICE
 PortNumber ::= CHOICE
 { 
 	tCPPort	[0] TCPPort,
-	uDPPort	[1] UDPPort
+	uDPPort	[1] UDPPort,
+	...
 }

 TCPPort ::= INTEGER (1..65535)