Bug reports are welcome as issues: the program, the fault record or diagnostic, and the cint version. A pull request that changes behavior comes with a conformance case and a Signed-off-by: line. Accepted changes ship in the next release, credited by name.
