Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Drop duplicate ID from dt #3180 #3185
Signed-off-by: Robert D Anderson email@example.com
Currently when processing
This update drops the ID from the block and keeps it on the inline element. Links to the ID still resolve correctly using the term text.