gitea-mirror/rosenpass
1
0
Fork 0
mirror of https://github.com/rosenpass/rosenpass.git synced 2026-02-28 14:33:37 -08:00
Code Issues Packages Projects Releases Wiki Activity

feat: WIP clean-up TODOs

Browse Source 
Co-authored-by: Benjamin Lipp <blipp@rosenpass.eu>
This commit is contained in:
Anja Rabich
2025-08-05 17:57:07 +02:00
parent 19ebce79f1
commit a4ff3d4eb5
2 changed files with 14 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
marzipan/TODO.md
View File

@@ -23,7 +23,7 @@
## Next Steps
* rebase from main
* ~~rebase from main~~
* see if we still need the `extra_args is None` check in `_run_proverif`
* set colors differently to prevent injection attack
* by calling a function