Skip to content

[pull] master from atom:master#172

Merged
pull[bot] merged 4 commits intosmilers:masterfrom
atom:master
Nov 15, 2022
Merged

[pull] master from atom:master#172
pull[bot] merged 4 commits intosmilers:masterfrom
atom:master

Conversation

@pull
Copy link

@pull pull bot commented Nov 15, 2022

See Commits and Changes for more details.


Created by pull[bot]

Can you help keep this open source service alive? 💖 Please sponsor : )

Due to the instability of atom's package api, we have the CI process
failing to install some packages. This failure is random and there is no
way to have consistent results.
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