From 62ccc8a59bd5d2f6094d92f7e6cd8a879e3b3d4e Mon Sep 17 00:00:00 2001
From: EuAndreh <eu@euandre.org>
Date: Wed, 23 Jun 2021 20:58:25 -0300
Subject: TODOs.md: Mark #task-9ee2bbc8-295f-52b7-4104-483869bad017 as DONE

---
 TODOs.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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.
-- 
cgit v1.2.3