current
This file contains the last serial number assigned to an incoming PR. It is used internally by GNATS; you need never touch this file.
Go to the first, previous, next, last section, table of contents.