Integrated: No point in cleaning a bare materialization
rwestberg at openjdk.java.net
Thu Oct 22 10:10:43 UTC 2020
On Thu, 22 Oct 2020 09:05:40 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:
> We can skip the cleaning step when reusing a bare materialization.
This pull request has now been integrated.
Author: Robin Westberg <rwestberg at openjdk.org>
Stats: 36 lines in 2 files changed: 35 ins; 0 del; 1 mod
No point in cleaning a bare materialization
More information about the skara-dev