-
Nikos Mavrogiannopoulos authored
We keep the head node in addition to the tail information to allow easier deduction of the validity of the cache.
4633168c
We keep the head node in addition to the tail information to allow easier deduction of the validity of the cache.