mirror of
https://github.com/clusterio/clusterio.git
synced 2026-11-12 07:04:52 +09:00
Only core uses the type, so there is no need to keep the old name around (Cooldude in #1130). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>