From: Ruben Beltran del Rio <redacted>
Date: Wed, 17 Jul 2024 17:08:52 +0000 (+0200)
Subject: Note 1.3.2
X-Git-Url: https://git.r.bdr.sh/rbdr/r.bdr.sh/commitdiff_plain/584709f7942d2be31557315b6107e0dea8cf03fd?hp=584709f7942d2be31557315b6107e0dea8cf03fd

Note 1.3.2
---