From: Ralf Jung <post@ralfj.de>
Date: Thu, 24 Jul 2025 15:34:23 +0000 (+0200)
Subject: mention proving
X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/4a2c7e8d896f626c7c83488fcb06d59845f378df?ds=inline;hp=4a2c7e8d896f626c7c83488fcb06d59845f378df

mention proving
---