Bugfix: LRU table needs to be updated on hits, too. More comments added.
Bugfix: LRU table needs to be updated on hits, too. More comments added.

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs