From 5eea97534f4aa6e01765ce47dc3ac0e45e7997dc Mon Sep 17 00:00:00 2001
From: Andrei Cheremskoy <acheremskoy@gmail.com>
Date: Thu, 6 Jan 2022 18:03:15 -0400
Subject: [PATCH] chore(doc): remove duplicate Tactics section (#927)

---
 doc/SUMMARY.md | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/SUMMARY.md b/doc/SUMMARY.md
index 6acf7db6e5..e7fac63b11 100644
--- a/doc/SUMMARY.md
+++ b/doc/SUMMARY.md
@@ -47,7 +47,6 @@
   - [Thunk](./thunk.md)
   - [Task and Thread](./task.md)
 - [Functions](./functions.md)
-- [Tactics](./tactics.md)
 
 # Other