search

teeworlds-community / teeworlds

A community fork of teeworlds. Trying to have more active maintainers and merge prs faster.
Other
11 stars 1 forks source link

[Editor2] Allow editor switch entities #3238 #92

Closed teeworlds-mirror closed 9 months ago

teeworlds-mirror commented 9 months ago

upstream: https://www.github.com/teeworlds/teeworlds/pull/3238

ChillerDragon commented 9 months ago

This was a bug in the mirror bot https://github.com/teeworlds-community/mirror-bot/issues/3