Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-07-22 23:03:42 +01:00
Code Issues Projects Releases Packages Wiki Activity

Remove usage of drain_filter (#30742)

Browse source 
This is a step on the way toward supporting stable rust.
This commit is contained in:
Martin Robinson 2023-11-17 11:28:33 +01:00 • committed by GitHub
parent 50732b49c5
commit 8de4629a3c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 24 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

1
components/script/lib.rs
View file

@ -2,7 +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/. */
#![feature(drain_filter)]
#![feature(once_cell)]
#![feature(plugin)]
#![feature(register_tool)]