Skip to content

diagonals, borderers#3216

Merged
trunk-io[bot] merged 1 commit into
mainfrom
change/diagonals-borderers
Apr 17, 2024
Merged

diagonals, borderers#3216
trunk-io[bot] merged 1 commit into
mainfrom
change/diagonals-borderers

Conversation

@hj1980
Copy link
Copy Markdown

@hj1980 hj1980 commented Apr 17, 2024

This pull request was generated by the 'mq' tool

@hj1980 hj1980 added the bot-pr label Apr 17, 2024
@trunk-io
Copy link
Copy Markdown

trunk-io Bot commented Apr 17, 2024

😎 Merged successfully - details.

@hj1980
Copy link
Copy Markdown
Author

hj1980 commented Apr 17, 2024

/trunk merge

@trunk-io trunk-io Bot merged commit fcd5d96 into main Apr 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant