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