Skip to content

Stomp boots#506

Merged
bors[bot] merged 2 commits into
fishfolk:mainfrom
zicklag:stomp-boots
Dec 5, 2022
Merged

Stomp boots#506
bors[bot] merged 2 commits into
fishfolk:mainfrom
zicklag:stomp-boots

Conversation

@zicklag

@zicklag zicklag commented Dec 5, 2022

Copy link
Copy Markdown
Member

bors merge

bors Bot added a commit that referenced this pull request Dec 5, 2022
506: Stomp boots r=zicklag a=zicklag

bors merge

Co-authored-by: Zicklag <zicklag@katharostech.com>
@zicklag

zicklag commented Dec 5, 2022

Copy link
Copy Markdown
Member Author
stomp-boots.webm

@bors

bors Bot commented Dec 5, 2022

Copy link
Copy Markdown
Contributor

Build succeeded:

@bors
bors Bot merged commit 90d1762 into fishfolk:main Dec 5, 2022
@zicklag zicklag mentioned this pull request Dec 5, 2022
34 tasks
@zicklag
zicklag deleted the stomp-boots branch December 5, 2022 23:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant