Skip to content

Independent verification: derive PR540's pending ranges [15,22) and [1,29) from PR442's schedule (no new kappa) - #1228

Merged
Mister-Meeseeks merged 1 commit into
mainfrom
pending-range-derivation-pr540
Oct 14, 2026
Merged

Mister-Meeseeks merged 1 commit into
mainfrom
pending-range-derivation-pr540

Commits

  1. Commits on Oct 13, 2026