Merge pull request #7692 from Daniel-Diaz/master

Update Daniel Casanueva's email address
This commit is contained in:
Alexey Zabelin 2025-02-26 22:59:19 -08:00 committed by GitHub
commit 3f90e1520b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -1325,7 +1325,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