From 3e41e4a99765b57be41cff94bcc06fa95b0016ac Mon Sep 17 00:00:00 2001
From: psong <psong@caltech.edu>
Date: Thu, 29 Aug 2024 16:44:24 -0700
Subject: [PATCH] Update README

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

diff --git a/README.md b/README.md
index 09cf1ad..448bb0f 100644
--- a/README.md
+++ b/README.md
@@ -59,6 +59,7 @@ require LeanCopilot from git "https://github.com/lean-dojo/LeanCopilot.git" @ "L
 `LEAN_COPILOT_VERSION` depends on your lean-toolchain:
 | lean-toolchain | Recommended Lean Copilot version |
 | -------------- | -------------------------------- |
+| `v4.11.0-rc2`  | `v1.5.2`                         |
 | `v4.11.0-rc1`  | `v1.5.1`                         |
 | `v4.10.0`      | `v1.5.0`                         |
 | `v4.10.0-rc2`  | `v1.4.2`                         |