Skip to content

Merge #688(carl): Fix two small issue found by clazy #1395

Merge #688(carl): Fix two small issue found by clazy

Merge #688(carl): Fix two small issue found by clazy #1395