From f1b9fbbaf0123fb7b14b4a11bc18c86fd4b2305b Mon Sep 17 00:00:00 2001
From: Daniel Shahaf <d.s@daniel.shahaf.name>
Date: Mon, 20 Apr 2020 11:11:29 +0000
Subject: [PATCH] 'main': Follow-up to previous: Document the version number,
 and deduplicate some option letters.

---
 highlighters/main/main-highlighter.zsh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/highlighters/main/main-highlighter.zsh b/highlighters/main/main-highlighter.zsh
index d7cce99..7ebc971 100644
--- a/highlighters/main/main-highlighter.zsh
+++ b/highlighters/main/main-highlighter.zsh
@@ -349,7 +349,7 @@ _zsh_highlight_highlighter_main_paint()
     'setsid' :wc
     'env' u:i
     'ionice' cn:t:pPu # util-linux 2.33.1-0.1
-    'strace' IbeaosXPpEuOS:ACdffhikqrtttTvVxxyDc
+    'strace' IbeaosXPpEuOS:ACdfhikqrtTvVxyDc # strace 4.26-0.2
 
     # As of OpenSSH 8.1p1
     'ssh-agent' aEPt:csDd:k