Skip to content

[pull] gh-pages from jlord:gh-pages#22

Merged
pull[bot] merged 5 commits intodeb007:gh-pagesfrom
jlord:gh-pages
Nov 13, 2020
Merged

[pull] gh-pages from jlord:gh-pages#22
pull[bot] merged 5 commits intodeb007:gh-pagesfrom
jlord:gh-pages

Conversation

@pull
Copy link
Copy Markdown

@pull pull bot commented Nov 13, 2020

See Commits and Changes for more details.


Created by pull[bot]

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

@pull pull bot added the ⤵️ pull label Nov 13, 2020
@pull pull bot merged commit 185e28a into deb007:gh-pages Nov 13, 2020
@github-pages github-pages bot temporarily deployed to github-pages November 13, 2020 08:00 Inactive
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.

2 participants