Build failed: openssl master.42837

[AppVeyor]

Build openssl master.42837 failed

Commit 78de5a94d8 by Pauli on 10/9/2021 1:29 PM:
doc: document that property names are unique

Configure your notification preferences