Changed info cache initialization to directly do the necessary stuff at
GLOBALDB-INIT time, rather than trying to get DEFINE-HASH-CACHE to do just this stuff.
Please register or sign in to comment
GLOBALDB-INIT time, rather than trying to get DEFINE-HASH-CACHE to do just this stuff.