From c9350e4067113ac184c31db4081b92e94289f87f Mon Sep 17 00:00:00 2001
From: russoul <me@russoul.me>
Date: Thu, 24 Aug 2023 18:00:34 +0400
Subject: [PATCH] Remove a TODO from README

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 631c1e2..d93b35b 100644
--- a/README.md
+++ b/README.md
@@ -5,7 +5,7 @@ Language Server for Idris2.
 
 ## Installation with [Pack](https://github.com/stefan-hoeck/idris2-pack) (Recommended)
 ```bash
-pack install-app idris2-lsp # TODO: upload this to pack. Does pack automatically install lsp-lib as a dependency?
+pack install-app idris2-lsp
 ```
 
 ## Manual Installation