1 files changed, 5 insertions, 1 deletions
diff --git a/TODOs.md b/TODOs.md
index 1fbe90e..78787a3 100644
--- a/TODOs.md
+++ b/TODOs.md
@@ -270,7 +270,11 @@ This is the output of inspecting the content of the generated Docker image:
 ## TODO Run "check" in `installcheck` target {#task-db34da8d-bf61-43ae-b8f0-f2299834a937}
 - TODO in 2021-08-02
 
-## TODO Build and use Docker images from Guix packs {#task-54ec4fdc-e2e0-32f6-cca3-45f28c8903a2}
+## DONE Build and use Docker images from Guix packs {#task-54ec4fdc-e2e0-32f6-cca3-45f28c8903a2}
+- DONE in 2021-08-14
+
+  Done in
+  [`a6a5d25c3f91cbcb9018718c15fae2726bc7ea41`](https://git.euandreh.xyz/git-permalink/commit/?id=a6a5d25c3f91cbcb9018718c15fae2726bc7ea41).
 - TODO in 2021-08-02
 
 ## DONE Remove `| \` at the end of lines {#task-1f103822-c865-254c-f6b6-4968f2fb473e}