Skip to content
This repository has been archived by the owner on Dec 2, 2024. It is now read-only.

chore: Merge to main #140

Merged
merged 3 commits into from
Nov 9, 2023
Merged

chore: Merge to main #140

merged 3 commits into from
Nov 9, 2023

Conversation

richtera
Copy link
Contributor

@richtera richtera commented Nov 9, 2023

Description

Merge code from develop to main

Co-authored-by: Dominik Zborowski [email protected]
Co-authored-by: Jacek Norbert [email protected]
Co-authored-by: Hugo Masclet [email protected]
Co-authored-by: Pedro Pereira [email protected]
Co-authored-by: Pedro Pereira [email protected]
Co-authored-by: Pedro Pereira [email protected]
Co-authored-by: Andreas Richter [email protected]

Co-authored-by: Dominik Zborowski <[email protected]>
Co-authored-by: Jacek Norbert <[email protected]>
Co-authored-by: Hugo Masclet <[email protected]>
Co-authored-by: Pedro Pereira <[email protected]>
Co-authored-by: Pedro Pereira <[email protected]>
Co-authored-by: Pedro Pereira <[email protected]>
Co-authored-by: Andreas Richter <[email protected]>
Copy link
Contributor

github-actions bot commented Nov 9, 2023

Deployed with Cloudflare Pages ☁️ 🚀 🆗

@dzbo dzbo merged commit a40a1d9 into develop Nov 9, 2023
2 checks passed
@dzbo dzbo deleted the merge-to-main branch November 9, 2023 18:44
@richtera richtera mentioned this pull request Nov 10, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Development

Successfully merging this pull request may close these issues.

3 participants