Integrated: Fix build error
rwestberg at openjdk.java.net
Fri Sep 4 09:47:47 UTC 2020
On Fri, 4 Sep 2020 09:41:45 GMT, Robin Westberg <rwestberg at openjdk.org> wrote:
> Hi all,
> Please review this small change that fixes a build error.
> Best regards,
This pull request has now been integrated.
Author: Robin Westberg <rwestberg at openjdk.org>
Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
Fix build error
More information about the skara-dev