diff options
author | John MacFarlane <jgm@berkeley.edu> | 2020-12-10 15:44:10 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2020-12-10 15:44:10 -0800 |
commit | 0a502e5ff52b251bbf3da69fd1f9a88d5e0fe92c (patch) | |
tree | 7c78b78cadf50dd68033ccc08fd1a9c43c2b325d /src/Text/Pandoc/Readers/CSV.hs | |
parent | 248a2a1db5cb567499a9272a2a2f2390c13d9275 (diff) | |
download | pandoc-0a502e5ff52b251bbf3da69fd1f9a88d5e0fe92c.tar.gz |
HTML reader: retain attribute prefixes and avoid duplicates.
Previously we stripped attribute prefixes, reading
`xml:lang` as `lang` for example. This resulted in
two duplicate `lang` attributes when `xml:lang` and
`lang` were both used. This commit causes the prefixes
to be retained, and also avoids invald duplicate
attributes.
Closes #6938.
Diffstat (limited to 'src/Text/Pandoc/Readers/CSV.hs')
0 files changed, 0 insertions, 0 deletions