TODOs.md: Mark #task-0b034315-cbd2-6fd6-fd32-9e00a12b7594 as DONE

1 files changed, 5 insertions, 1 deletions

diff --git a/TODOs.md b/TODOs.md
index 21317fc..d2821ee 100644
--- a/TODOs.md
+++ b/TODOs.md
@@ -1,6 +1,10 @@
 # Tasks
 
-## TODO Add `installcheck` and `uninstallcheck` targets {#task-0b034315-cbd2-6fd6-fd32-9e00a12b7594}
+## DONE Add `installcheck` and `uninstallcheck` targets {#task-0b034315-cbd2-6fd6-fd32-9e00a12b7594}
+- DONE in 2021-07-07
+
+  Done in
+  [`ded158891da92c8e402b408e934a49e5b00b5490`](https://git.euandreh.xyz/git-permalink/commit/?id=ded158891da92c8e402b408e934a49e5b00b5490).
 - TODO in 2021-07-07
 
 ## TODO Remove empty lines from roff source {#task-f65531fa-e44b-14b1-fa32-70a22346e060}