Skip to content

Conversation

@pull
Copy link

@pull pull bot commented Oct 8, 2019

See Commits and Changes for more details.


Created by pull[bot]. Want to support this open source service? Please star it : )

@pull pull bot added the ⤵️ pull label Oct 8, 2019
@pull pull bot merged commit d7bc9a1 into aav789:master Oct 8, 2019
pull bot pushed a commit that referenced this pull request Oct 2, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant