]> granicus.if.org Git - graphviz/commitdiff
Merge branch '678658f8-13b2-48cc-a8fc-ecd7765ecf05' into 'master'
authorMatthew Fernandez <matthew.fernandez@gmail.com>
Tue, 15 Sep 2020 04:43:07 +0000 (04:43 +0000)
committerMatthew Fernandez <matthew.fernandez@gmail.com>
Tue, 15 Sep 2020 04:43:07 +0000 (04:43 +0000)
remove ad hoc name mangling in HTML parser

See merge request graphviz/graphviz!1564


Trivial merge