Integrated: Retry updating seed if needed, avoid unnecessary fetching
rwestberg at openjdk.java.net
Wed Oct 21 14:58:32 UTC 2020
On Wed, 21 Oct 2020 12:38:57 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:
> Retry fetching a few times if a seed is not allowed to be stale, but otherwise ignore and continue.
This pull request has now been integrated.
Author: Robin Westberg <rwestberg at openjdk.org>
Stats: 41 lines in 1 file changed: 24 ins; 3 del; 14 mod
Retry updating seed if needed, avoid unnecessary fetching
More information about the skara-dev