12.2 How and where to Report Bugs

Bugs should be reported to the bug database at {No value for ‘BUGURL’}.

This document was generated on October 19, 2013 using texi2html 5.0.