defs.lean
#1415

Merged

feat(data/list/defs): move list.sum to list/defs.lean #1415

mergify merged 2 commits into master from list_sum

feat(data/list/defs): move list.sum to list/defs.lean

a7d5cf22

add comment

51e9b4b3

kim-em requested a review 6 years ago

ChrisHughes24 approved these changes on 2019-09-08

ChrisHughes24 added ready-to-merge

mergify merged 6f7224cc into master 6 years ago

mergify deleted the list_sum branch 6 years ago

Reviewers

ChrisHughes24

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone