Skip to content

[pull] upstream_master from atom:master#184

Merged
pull[bot] merged 0 commit intoatom-community:upstream_masterfrom
atom:master
Sep 23, 2020
Merged

[pull] upstream_master from atom:master#184
pull[bot] merged 0 commit intoatom-community:upstream_masterfrom
atom:master

Conversation

@pull
Copy link
Copy Markdown

@pull pull bot commented Sep 23, 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 merged commit b522a45 into atom-community:upstream_master Sep 23, 2020
@pull pull bot force-pushed the upstream_master branch from 018e0b3 to b522a45 Compare September 23, 2020 16:29
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.

0 participants