Closed gbaudusseau closed 9 years ago
update UI + fix orphan processes issue
Are you OK to remove feature branches when their PRs have been merged in this project, @dontcallmedom @guibbs? (See also #52, #86, #114.)
update UI + fix orphan processes issue