mirror of
https://github.com/DP-3T/documents.git
synced 2025-03-12 19:23:37 +01:00

Cherry-pick updates from pull requests. Still some pending issues there. Re-sync translations text with cartoon using pdftotext.
Cherry-pick updates from pull requests. Still some pending issues there. Re-sync translations text with cartoon using pdftotext.