Integrated: Fix refreshing of existing seeded folder
rwestberg at openjdk.java.net
Wed Oct 28 07:48:02 UTC 2020
On Tue, 27 Oct 2020 12:46:05 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:
> When a potentially stale materialization is used, we must ensure that the seed is still refreshed periodically.
This pull request has now been integrated.
Author: Robin Westberg <rwestberg at openjdk.org>
Stats: 39 lines in 1 file changed: 7 ins; 15 del; 17 mod
Fix refreshing of existing seeded folder
More information about the skara-dev