Rollup merge of #113094 - GuillaumeGomez:fix-invalid-div-tag-in-head,… · RalfJung/miri@05f4747 · GitHub

Commit

Rollup merge of #113094 - GuillaumeGomez:fix-invalid-div-tag-in-head,…

Browse files

… r=notriddle,fmease

Fix invalid HTML DIV tag used in HEAD

Fixes rust-lang/rust#113067.

The issue also nicely explains the whole problem.

r? ``@notriddle``

Loading branch information

Dylan-DPC authored Jun 28, 2023

2 parents 3cc83a7 + 34f0d66 commit 05f4747