From 4b8bc7e5923d05e91f943f66ed9035fcda0caf84 Mon Sep 17 00:00:00 2001 From: Martin Ball Date: Sun, 1 Nov 2026 22:08:57 +0000 Subject: [PATCH] =?UTF-8?q?CP2.3:=20Cargo.toml=20=E2=80=94=20the=20craft-p?= =?UTF-8?q?roof=20pin=20needs=20no=20follow-up=20(merge=20commits=20keep?= =?UTF-8?q?=20#483's=20head=20in=20storytold=20main)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01FypgCX8LsYYE8fsj4byBm2 --- Cargo.toml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Cargo.toml b/Cargo.toml index 8657ec71b4..54d75b00b6 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -25,8 +25,9 @@ wordcraft-pdf = { path = "crates/pdf" } # language-data/, embedded from CRAFT_I18N_DIR (craft-i18n.rev). The package keeps the # `wordcraft-proof` name here so `wordcraft_proof::` paths are unchanged. # Pinned like the other craft-libs crates (each has its own rev). This rev is the head of -# storytold/craft-libs#483 (SCOWL English, stacked on #482, which adds craft-proof); move it -# to the merge commit once both are merged. +# storytold/craft-libs#483 (SCOWL English, stacked on #482, which adds craft-proof), fetched +# from storytold (GitHub serves PR heads from the base repo); merged with a merge commit, it +# stays in storytold main, so the pin needs no follow-up. wordcraft-proof = { package = "craft-proof", git = "https://github.com/storytold/craft-libs", rev = "0675d583417c1f340749dc5a37d0f00dec554502", version = "=0.1.0" } wordcraft-engine = { path = "crates/engine" } wordcraft-mcp = { path = "crates/mcp" }