12:39 <@minus> looks like CI builds on the teeworlds repo will break on aug 31. though the last build was in january anyway, so it probably doesn't matter