Skip to content

Make smallgrp an explicit dependency - #1206

Open
fingolfin wants to merge 1 commit into
semigroups:mainfrom
fingolfin:mh/no-smallgrp
Open

Make smallgrp an explicit dependency#1206
fingolfin wants to merge 1 commit into
semigroups:mainfrom
fingolfin:mh/no-smallgrp

Make smallgrp an explicit dependency

3b41200
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
cpplint
succeeded Jul 30, 2026 in 11s