godotengine/godot: Official EU-hosted mirror of the Godot Engine GitHub repository, provided as backup and for anyone who cannot access GitHub due to US trade restrictions. Please only use the issue tracker if you are restricted from using GitHub. @ a02c70743f7b83d4b82748a7e0951dd464063884

bruvzg bbc77b6d29 Fix text server GDExtension build.		1 rok temu
..
SCsub	0c0b5c84b0 Implement TextServer GDExtension interface, remove TextServer GDNative interface.	3 lat temu
text_server_dummy.h	d95794ec8a One Copyright Update to rule them all	1 rok temu
text_server_extension.cpp	bbc77b6d29 Fix text server GDExtension build.	1 rok temu
text_server_extension.h	bbc77b6d29 Fix text server GDExtension build.	1 rok temu