Reuse the same cache between different iterations.
authorKim Nguyễn <kn@lri.fr>
Thu, 14 Mar 2013 10:26:51 +0000 (11:26 +0100)
committerKim Nguyễn <kn@lri.fr>
Thu, 14 Mar 2013 10:26:51 +0000 (11:26 +0100)

No differences found