#726252 makeinfo fail to process vera

Package:
src:vera
Source:
vera
Submitter:
Bill Allombert
Date:
2019-07-06 07:48:05 UTC
Severity:
important