Skip to content

Revise, simplify, and fix to_partial#1496

Merged
shcheklein merged 2 commits intomainfrom
revise-to-partial
Dec 14, 2025
Merged

Revise, simplify, and fix to_partial#1496
shcheklein merged 2 commits intomainfrom
revise-to-partial

Commits

Commits on Dec 10, 2025

Commits on Dec 12, 2025