PR #1768 feat(README): add link to Lean Links [skip ci]

feat(README): add link to Lean Links [skip ci] #1768

mergify merged 2 commits into master from lean-links

feat(README): add link to Lean Links [skip ci]

b652aa65

jcommelin approved these changes on 2019-12-03

jcommelin added ready-to-merge

Merge branch 'master' into lean-links

ac77cf1d

mergify merged 89e7f6fd into master 6 years ago

mergify deleted the lean-links branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone