Skip to content

Carry the short-pool guard to the Wikidata corpus builder - #697

Merged
derek73 merged 3 commits into
masterfrom
fix/issue-696-short-pool-guard
Oct 17, 2026
Merged

Carry the short-pool guard to the Wikidata corpus builder#697
derek73 merged 3 commits into
masterfrom
fix/issue-696-short-pool-guard

Tighten the LIMIT pin, drop the whole-marks pin, fix prose from the s…

a507459
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar