Skip to content

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

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

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