1 files changed, 5 insertions, 1 deletions
diff --git a/TODOs.md b/TODOs.md
index 7a3c498..bd7ebf7 100644
--- a/TODOs.md
+++ b/TODOs.md
@@ -133,7 +133,11 @@ See `man man.1` for reference.
   [Conventions for Command Line Options]: https://nullprogram.com/blog/2020/08/01/
 - TODO in 2021-06-21
 
-## TODO Use `getopts` in `aux/workflow/manpages.sh` {#task-9ee2bbc8-295f-52b7-4104-483869bad017}
+## DONE Use `getopts` in `aux/workflow/manpages.sh` {#task-9ee2bbc8-295f-52b7-4104-483869bad017}
+- DONE in 2021-06-23
+
+  Done in
+  [`412a3f36cb40dba18f4f0f70a6804882ac6c68eb`](https://git.euandreh.xyz/git-permalink/commit/?id=412a3f36cb40dba18f4f0f70a6804882ac6c68eb).
 - TODO in 2021-06-22
 
   Actually, I didn't implement this.