Log In - Home Page

Patch: run xmllint during build

Edit Patch - Move To Another CommitFest - Delete Patch

CommitFest 2014-10
Topic Documentation
Patch Status Committed
Author Peter Eisentraut
Reviewers Fabien Coelho
Committer Peter Eisentraut
Close Date 2014-10-21
Patch by petere on 2014-08-15 02:19:56 AM: Initial version.
Review by calvin on 2014-08-21 09:14:43 AM: Some remarks about the patch & the doc build in general
Patch by petere on 2014-09-14 12:47:50 AM: update patch
Review by calvin on 2014-09-14 07:36:45 AM: Ok.

Add Comment

Please log in to comment on this patch.