From ff3cd1494ea5c333d8f53450ccd50fe3a287e2a1 Mon Sep 17 00:00:00 2001
From: Jonathan Schwender <55576758+jschwe@users.noreply.github.com>
Date: Sat, 4 May 2024 17:00:41 +0200
Subject: [PATCH] android: Remove outdated `#[allow(bare_trait_objects)]`
 (#32225)

This was added in 1d38bc04, but has since been fixed upstream.
---
 ports/jniapi/src/gl_glue.rs | 2 --
 1 file changed, 2 deletions(-)

diff --git a/ports/jniapi/src/gl_glue.rs b/ports/jniapi/src/gl_glue.rs
index a222a5d797d..bfff1d9436c 100644
--- a/ports/jniapi/src/gl_glue.rs
+++ b/ports/jniapi/src/gl_glue.rs
@@ -2,8 +2,6 @@
  * License, v. 2.0. If a copy of the MPL was not distributed with this
  * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
 
-#![allow(bare_trait_objects)] // Until https://github.com/brendanzab/gl-rs/pull/493
-                              //
 pub type ServoGl = std::rc::Rc<dyn servo::gl::Gl>;
 
 #[cfg(any(target_os = "android", target_os = "windows"))]