Skip to content

Optimi of the checker MicAnchoredSectionTableFigure#1087

Merged
Ducasse merged 1 commit into
pillar-markup:devfrom
AntoineUsal:newbranch
May 26, 2026
Merged

Optimi of the checker MicAnchoredSectionTableFigure#1087
Ducasse merged 1 commit into
pillar-markup:devfrom
AntoineUsal:newbranch

Commits

Commits on May 20, 2026