Skip to content
This repository has been archived by the owner on Aug 7, 2023. It is now read-only.

fix message text for dtd markers #43

Merged
merged 1 commit into from
Feb 14, 2016
Merged

Conversation

dirk-thomas
Copy link
Member

dirk-thomas added a commit that referenced this pull request Feb 14, 2016
@dirk-thomas dirk-thomas merged commit 4b9dd79 into master Feb 14, 2016
@dirk-thomas dirk-thomas deleted the fix_dtd_marker_text branch February 14, 2016 00:23
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant