1 files changed, 5 insertions, 1 deletions
diff --git a/TODOs.md b/TODOs.md
index 161d344..7c347cc 100644
--- a/TODOs.md
+++ b/TODOs.md
@@ -103,7 +103,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-22
+
+  Done <del>kind of</del> in
+  [`0ee2ce2c85d3376b35dc9338309e50e3c6f9eb80`](https://git.euandreh.xyz/git-permalink/commit/?id=0ee2ce2c85d3376b35dc9338309e50e3c6f9eb80).
 - TODO in 2021-06-21
 
 ---