Skip to content

Conversation

@jsmnbom
Copy link
Member

@jsmnbom jsmnbom commented Jun 22, 2017

Maybe we should move to an actual script soon? :P

Maybe we should move to an actual script soon? :P
@tsnoam
Copy link
Member

tsnoam commented Jun 22, 2017

@bomjacob what about now?

@tsnoam tsnoam merged commit 564d361 into master Jun 24, 2017
@tsnoam tsnoam deleted the travis-fold branch June 24, 2017 08:09
@github-actions github-actions bot locked and limited conversation to collaborators Aug 23, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants