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. @ f4b047a084a5ecff153d0d32453aeb2e9919c83c

Haoyu Qiu cc3984f359 Avoid punning enum names in documentation		1 rok temu
..
WebRTCDataChannel.xml	81064cc239 Doctool: Remove version attribute from XML header	1 rok temu
WebRTCDataChannelExtension.xml	81064cc239 Doctool: Remove version attribute from XML header	1 rok temu
WebRTCMultiplayerPeer.xml	81064cc239 Doctool: Remove version attribute from XML header	1 rok temu
WebRTCPeerConnection.xml	cc3984f359 Avoid punning enum names in documentation	1 rok temu
WebRTCPeerConnectionExtension.xml	81064cc239 Doctool: Remove version attribute from XML header	1 rok temu