[html52] Re: <div> as a child of a <dl> element

Via https://www.w3.org/TR/html52/changes.html#changes, and out of
interest, is the background of making <div> permissible as a child of
a <dl> element documented somewhere? I couldn’t find anything.

-- 
Jens Oliver Meiert
https://meiert.com/en/

Received on Monday, 8 January 2018 20:33:10 UTC