Skip to content

paths: update for fixes in libsemigroups#363

Merged
james-d-mitchell merged 1 commit intolibsemigroups:mainfrom
james-d-mitchell:new-pislo
Nov 27, 2025
Merged

paths: update for fixes in libsemigroups#363
james-d-mitchell merged 1 commit intolibsemigroups:mainfrom
james-d-mitchell:new-pislo

Commits

Commits on Nov 26, 2025