Skip to content

Spell the groupId the way the project spells itself - #53

Merged
estebanzimanyi merged 1 commit into
MobilityDB:mainfrom
estebanzimanyi:fix/groupid-spelling
Aug 31, 2026
Merged

estebanzimanyi merged 1 commit into
MobilityDB:mainfrom
estebanzimanyi:fix/groupid-spelling

Spell the groupId the way the project spells itself

333cb5d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Tree hygiene
succeeded Aug 31, 2026 in 6s