Skip to content

Rename to BlueMapMini (0.3.0) - #7

Merged
mgilardi merged 4 commits into
mainfrom
rename-bluemapmini
Nov 14, 2026
Merged

mgilardi merged 4 commits into
mainfrom
rename-bluemapmini

Drop the old-Mayor jar from the mayor live test

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

Annotations

1 warning and 1 notice
leak-check
succeeded Nov 14, 2026 in 8s