Update Daniel Casanueva's email address

This commit is contained in:
Daniel Casanueva 2025-02-21 16:05:09 +01:00
parent de43539396
commit 61faea1819

View File

@ -1322,7 +1322,7 @@ packages:
- text-format # needed by liquid-fixpoint
- liquid-fixpoint
"Daniel Casanueva <daniel.casanueva@proton.me> @Daniel-Diaz":
"Daniel Casanueva <coding@danielcasanueva.eu> @Daniel-Diaz":
- binary-list
- bounded-qsem
- byteset