/*
 * patchnum.c - Frequently-updated patch number for citadel.tos.
 *
 * (Allows us to avoid relinking EVERYTHING when we change a single line of
 *  code somewhere in citadel.tos...)
 *
 * 90Jul29 AA	Moved PATCHNUM from version.c.
 */

int  PATCHNUM = 51;