Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add missing functions #348

Merged
merged 10 commits into from Jun 18, 2019
Merged

Add missing functions #348

merged 10 commits into from Jun 18, 2019

Conversation

truizlop
Copy link
Member

@truizlop truizlop added the enhancement New feature or request label Jun 17, 2019
@truizlop truizlop self-assigned this Jun 17, 2019
@truizlop truizlop added this to In progress in Missing functions via automation Jun 17, 2019
miguelangel-dev
miguelangel-dev approved these changes Jun 18, 2019
View reviewed changes
Copy link
Member

@miguelangel-dev miguelangel-dev left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good job! :)

Missing functions automation moved this from In progress to Reviewer approved Jun 18, 2019
@truizlop truizlop merged commit 2921a4b into master Jun 18, 2019
Missing functions automation moved this from Reviewer approved to Done Jun 18, 2019
@truizlop truizlop deleted the tomas/missing-functions-typeclasses branch June 18, 2019 09:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@miguelangel-dev miguelangel-dev miguelangel-dev approved these changes

@juancazalla juancazalla Awaiting requested review from juancazalla

Assignees

@truizlop truizlop

Labels
enhancement New feature or request
Projects
No open projects
Missing functions
  
Done
Milestone
No milestone
2 participants
@truizlop @miguelangel-dev