Skip to content

Merge master into devel#21

Merged
hageldave merged 6 commits into
devel2.0from
master
Oct 28, 2020
Merged

Merge master into devel#21
hageldave merged 6 commits into
devel2.0from
master

Conversation

@hageldave
Copy link
Copy Markdown
Owner

Devel is behind, this PR syncs with master.

@hageldave hageldave merged commit 564b2a8 into devel2.0 Oct 28, 2020
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