##// END OF EJS Templates
pull-requests: changed the order of close-branch after merge, so we don't leave open heads....
marcink -
r4436:37e7e17e default
Show More