[tor-commits] [torspec] 03/03: Merge branch 'tor-gitlab/mr/134'

[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 9c55db437e8682523ec8b99eba3ccbd01158273d
Merge: 0d91005 97c0c12
Author: David Goulet <dgoulet at torproject.org>
AuthorDate: Wed May 24 14:38:04 2023 -0400

    Merge branch 'tor-gitlab/mr/134'

 control-spec.txt                 |   5 +
 proposals/327-pow-over-intro.txt | 408 +++++++++++++++++++++++++--------------
 2 files changed, 272 insertions(+), 141 deletions(-)

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