Closed eudoxos closed 4 years ago
Why delete the branch again?
I think I had both commits in one branch by mistake so I did it again. Hope everything is merged ok now.
Why delete the branch again?