[CommonHTML] no warnings for unknown chars #350

Closed

Labels

Milestone

opened

on Aug 15, 2017

As noted at #347 (comment).

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

v1.2.0

Relationships

None yet

Development

No branches or pull requests