[tor-commits] [torspec] 02/02: Merge branch 'tor-gitlab/mr/104'

[gitolite role]

This is an automated email from the git hooks/post-receive script.

dgoulet pushed a commit to branch main
in repository torspec.

commit 0da1241f98566ff0e6eb9e839ac34ffc7967c552
Merge: 5e86477 83fd14c
Author: David Goulet <dgoulet at torproject.org>
AuthorDate: Thu Jan 26 10:11:26 2023 -0500

    Merge branch 'tor-gitlab/mr/104'

 dir-spec.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --cc dir-spec.txt
index 0ab0c98,9bc1942..b6a7c8e
--- a/dir-spec.txt
+++ b/dir-spec.txt
@@@ -279,8 -279,8 +279,8 @@@ Table of Content
  
      NL = The ascii LF character (hex value 0x0a).
      Document ::= (Item | NL)+
-     Item ::= KeywordLine Object*
+     Item ::= KeywordLine Object?
 -    KeywordLine ::= Keyword NL | Keyword WS ArgumentChar+ NL
 +    KeywordLine ::= Keyword (WS Argument)* NL
      Keyword = KeywordStart KeywordChar*
      KeywordStart ::= 'A' ... 'Z' | 'a' ... 'z' | '0' ... '9'
      KeywordChar ::= KeywordStart | '-'

-- 
To stop receiving notification emails like this one, please contact
the administrator of this repository.