Commit 2025-01-08 13:17 340e6d1b
View on Github →chore: fixes to compile under debug.proofAsSorry (#20561)
We are quite far from actually making that possible, but as I was looking into it again I'll at least preserve these minor fixes.
chore: fixes to compile under debug.proofAsSorry (#20561)
We are quite far from actually making that possible, but as I was looking into it again I'll at least preserve these minor fixes.