Skip to content

Conversation

@pull
Copy link

@pull pull bot commented Jul 6, 2020

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 Jul 6, 2020
@pull pull bot merged commit 9b55a92 into rrosajp:master Jul 6, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

2 participants