Auto merge of #468 - servo:jdm-patch-5, r=jdm

Publish 0.25.2. None
servo · Mar 24, 2022 · 15d203b · 15d203b
2 parents ea73cb7 + e2818f5
commit 15d203b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/html5ever/Cargo.toml b/html5ever/Cargo.toml
@@ -1,7 +1,7 @@
 [package]
 
 name = "html5ever"
-version = "0.25.1"
+version = "0.25.2"
 authors = [ "The html5ever Project Developers" ]
 license = "MIT OR Apache-2.0"
 repository = "https://github.com/servo/html5ever"