diff --git a/.pick_status.json b/.pick_status.json
index cc18589f9db..63ac656f66d 100644
--- a/.pick_status.json
+++ b/.pick_status.json
@@ -2929,7 +2929,7 @@
         "description": "glthread: fix glArrayElement handling",
         "nominated": true,
         "nomination_type": 0,
-        "resolution": 0,
+        "resolution": 1,
         "main_sha": null,
         "because_sha": null
     },
diff --git a/src/mapi/glapi/gen/gl_API.xml b/src/mapi/glapi/gen/gl_API.xml
index 03793d95f9f..8ead49dbc3d 100644
--- a/src/mapi/glapi/gen/gl_API.xml
+++ b/src/mapi/glapi/gen/gl_API.xml
@@ -3189,7 +3189,7 @@
     <enum name="CLIENT_VERTEX_ARRAY_BIT"                  value="0x00000002"/>
     <enum name="CLIENT_ALL_ATTRIB_BITS"                   value="0xFFFFFFFF"/>
 
-    <function name="ArrayElement" deprecated="3.1" exec="beginend">
+    <function name="ArrayElement" deprecated="3.1" exec="beginend" marshal="sync">
         <param name="i" type="GLint"/>
         <glx handcode="true"/>
     </function>