@jbygdell those branches are not mine - I've compared all the branches in this repo against develop, and these two were not merged nor did they have pending PRs. Instead of cherry-picking the new commits, I thought it would be clearer if I merge in the branches directly. But sure, if they should be removed I can do that.
@jbygdell those branches are not mine - I've compared all the branches in this repo against
develop, and these two were not merged nor did they have pending PRs. Instead of cherry-picking the new commits, I thought it would be clearer if I merge in the branches directly. But sure, if they should be removed I can do that.