#775501 noweb: does not fail to build when it should

Package:
src:noweb
Source:
noweb
Submitter:
James Cowgill
Date:
2016-02-23 18:42:15 UTC
Severity:
normal