Closed osorensen closed 4 years ago
Yes I think it is, @wleoncio . Apparently I made a mistake while creating PRs, so the code changes in this PR had already been covered by another PR. When I tried to merge it with develop
I got a message that there was "Zero lines difference".
@osorensen I'm a bit confused, is it safe to delete this branch?