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.

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

Review of merged PRs #459

Merged
merged 20 commits into from
Aug 6, 2019
Merged

Review of merged PRs #459

merged 20 commits into from
Aug 6, 2019

Conversation

bmarty
Copy link
Member

@bmarty bmarty commented Aug 5, 2019

Review of merged PRs:
#397
#407
#446
#437
#448
#451
#444
#453
#449
#456

@bmarty bmarty requested review from ganfra and BillCarsonFr August 5, 2019 17:06
@bmarty bmarty force-pushed the feature/clenup_after_hol branch from 6494868 to 7a6fc49 Compare August 6, 2019 16:15
Copy link
Member

@ganfra ganfra left a comment

Choose a reason for hiding this comment

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

LGTM

@bmarty bmarty merged commit d9f448c into develop Aug 6, 2019
@bmarty bmarty deleted the feature/clenup_after_hol branch August 6, 2019 16:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants