Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
remove <phrase/> element from productnumber
- was (temporarily) not allowed in Novdoc DTD, this bug is fixed now - for maintenance branch, the productnumber does not change anymore anyway
- Loading branch information