From 145213dfe155a07911bb6d7491b2a4eb586f5b25 Mon Sep 17 00:00:00 2001 From: i97henka Date: Fri, 20 Oct 2023 17:21:33 +0100 Subject: [PATCH] adding team members asymmetric, wamirez (github for time being) and proofconstruction --- community/teams/documentation.tt | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/community/teams/documentation.tt b/community/teams/documentation.tt index 9909806560..16b46722cb 100644 --- a/community/teams/documentation.tt +++ b/community/teams/documentation.tt @@ -39,6 +39,15 @@
  • zmitchell (@zmitchell)
  • +
  • + asymmetric (@asymmetric)
    +
  • +
  • + wamirez (@wamirez)
    +
  • +
  • + proofconstruction (@proofconstruction)
    +