[openssl/technical-policies] 582074: record Tomas's vote

[Pauli]

  Branch: refs/heads/master
  Home:   https://github.com/openssl/technical-policies
  Commit: 582074b4c32afca412e3861bbb18345ad63e14f9
      https://github.com/openssl/technical-policies/commit/582074b4c32afca412e3861bbb18345ad63e14f9
  Author: Pauli <pauli at openssl.org>
  Date:   2023-07-07 (Fri, 07 Jul 2023)

  Changed paths:

  Log Message:
  -----------
  record Tomas's vote