From 290d629f14ae05291647b69c704e65774a2d7898 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9mi=20Verschelde?= <rverschelde@gmail.com>
Date: Mon, 27 Sep 2021 13:06:11 +0200
Subject: [PATCH] headers: Sync with Godot 3.1.2

Commit authored long after 3.1.2 was released, just adding this here for the
sake of not having missed a release, if anyone needs its headers.
---
 godot_headers | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/godot_headers b/godot_headers
index 98ee82599..75d6c5149 160000
--- a/godot_headers
+++ b/godot_headers
@@ -1 +1 @@
-Subproject commit 98ee82599dfe07e17983ad831f5e9ac41068667f
+Subproject commit 75d6c5149618734e9ecb7937b6546bf083216cf7