Re: [TUHS] early INGRES licenses?