severity 615125 important unmerge 615125 662091 owner 555118 [email protected] thanks
Samuel,
I have come to the conclusion that you advice was boadly good but does
not solve your issue with nsgmls. For that I have to *probably* take
over w3c-dtd-xhtml, make it depend on w3c-sgml-lib and strip out
anything that conflicts with w3c-sgml-lib.
However with that I am hitting issues.
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
