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

[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 103c7720c0e6c16d2e964dfebc566f47053ef121
Merge: ca400dc 0fc6d07
Author: David Goulet <dgoulet at torproject.org>
AuthorDate: Mon Feb 6 09:03:51 2023 -0500

    Merge branch 'tor-gitlab/mr/102'

 proposals/340-packed-and-fragmented.md | 61 ++++++++++++++++++++++++++++------
 1 file changed, 51 insertions(+), 10 deletions(-)

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