This is a second pull request because the first one had too many unnescesary commits.
This is a second pull request because the first one had too many unnescesary commits.
This is a second pull request because the first one had too many unnescesary commits.
Thank you! @baobab, you can merge.
Oh, sorry, I added a few more commits and they were automatically added to this pull request. Is that OK?
It's ok.
No due date set.
No dependencies set.
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?