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

Merge/6.2.2 #699

Merged
merged 9 commits into from
Oct 13, 2023
Merged

Merge/6.2.2 #699

merged 9 commits into from
Oct 13, 2023

Conversation

MartijnR
Copy link
Member

@MartijnR MartijnR commented Oct 12, 2023

Closes #698

Merge conflict should resolve automatically, if first merging #697, and then #696, and then this one.

@MartijnR MartijnR marked this pull request as ready for review October 12, 2023 17:16
This was referenced Oct 12, 2023
@kkrumlian kkrumlian merged commit 59f754d into master Oct 13, 2023
2 checks passed
@kkrumlian kkrumlian mentioned this pull request Oct 13, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

update to 6.2.2
5 participants