Correct Richard's vote

Richard's vote was correctly recorded in the PR but missed from the vote record.
openssl · Nov 8, 2023 · 0ab5d65 · 0ab5d65
1 parent 29002d0
commit 0ab5d65
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/votes/vote-20231018-urgent-label.txt b/votes/vote-20231018-urgent-label.txt
@@ -5,11 +5,11 @@ Issue link: https://github.com/openssl/general-policies/pull/53
 Public: yes
 Opened: 2023-10-18
 Closed: 2023-11-01
-Accepted:  yes  (for: 5, against: 0, abstained: 0, not voted: 1)
+Accepted:  yes  (for: 6, against: 0, abstained: 0, not voted: 0)
 
   Anton      [+1]
   Kurt       [+1]
   Matt       [+1]
   Pauli      [+1]
-  Richard    [  ]
+  Richard    [+1]
   Tim        [+1]