Skip to content

[pull] master from DefinitelyTyped:master#601

Merged
pull[bot] merged 1 commit intobolasblack:masterfrom
DefinitelyTyped:master
Sep 23, 2019
Merged

[pull] master from DefinitelyTyped:master#601
pull[bot] merged 1 commit intobolasblack:masterfrom
DefinitelyTyped:master

Conversation

@pull
Copy link
Copy Markdown

@pull pull bot commented Sep 23, 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 Sep 23, 2019
@pull pull bot merged commit 3cf733f into bolasblack:master Sep 23, 2019
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