4.6.2 The current file

This file contains the last serial number assigned to an incoming PR. It is used internally by GNATS; you need never touch this file.

This document was generated by Chad Walstrom on March 3, 2015 using texi2html 1.82.