TODOs.md: Mark #task-f09dedb7-1b25-0b5e-2520-910a9aa32562 as DONE

1 files changed, 5 insertions, 1 deletions

diff --git a/TODOs.md b/TODOs.md
index 8a430d4..7a3c498 100644
--- a/TODOs.md
+++ b/TODOs.md
@@ -1,6 +1,10 @@
 # Tasks
 
-## TODO Remove hardcoded `public/` path in some files under `aux/` {#task-f09dedb7-1b25-0b5e-2520-910a9aa32562}
+## DONE Remove hardcoded `public/` path in some files under `aux/` {#task-f09dedb7-1b25-0b5e-2520-910a9aa32562}
+- DONE in 2021-06-22
+
+  Done in
+  [`57335b3e7c4c9e91c5747778180d611e5f15d144`](https://git.euandreh.xyz/git-permalink/commit/?id=57335b3e7c4c9e91c5747778180d611e5f15d144).
 - TODO in 2021-06-22
 
 ## DONE Add test for install target {#task-755d8aa8-d39e-f8ce-d4c8-a8649338fffc}