Previous: index file, Up: Admin files
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.