Closed rohrig closed 1 year ago
@rohrig is this intended that this PR merges 38 commits? I've been worrying that this branch started out from some develop
branch and you're intending to merge into main
here
@rohrig is this intended that this PR merges 38 commits? I've been worrying that this branch started out from some
develop
branch and you're intending to merge intomain
here
Yes, the intention is to merge it. The branch stayed open longer than expected.
๐ Linked issue
โ Type of change
๐ Description
๐ Checklist