TODOs.md: Mark #task-f4807694-2187-5cb5-115e-c5970a052f1f as DONE

1 files changed, 5 insertions, 1 deletions

diff --git a/TODOs.md b/TODOs.md
index aa4eddf..6153836 100644
--- a/TODOs.md
+++ b/TODOs.md
@@ -1,6 +1,10 @@
 # Tasks
 
-## TODO As it turns out, `mktemp` is not POSIX {#task-f4807694-2187-5cb5-115e-c5970a052f1f}
+## DONE As it turns out, `mktemp` is not POSIX {#task-f4807694-2187-5cb5-115e-c5970a052f1f}
+- DONE in 2021-07-15
+
+  Done in
+  [`42354876de823f52a431eac900d360c074c6198d`](https://git.euandreh.xyz/git-permalink/commit/?id=42354876de823f52a431eac900d360c074c6198d).
 - TODO in 2021-07-15
 
 ## TODO Fix empty HTML files for translated markdown in CI {#task-f957647c-df05-c0c1-a38b-2e6faea99b8f}