#1395: GetComponents does not know how to switch branches for old git clients ----------------------------+----------------------------------------------- Reporter: eschnett | Owner: eric9 Type: defect | Status: reviewed_ok Priority: blocker | Milestone: ET_2013_05 Component: GetComponents | Version: ET_2013_05 Resolution: | Keywords: ET_2013_05 ----------------------------+----------------------------------------------- Changes (by rhaas):
* status: review => reviewed_ok
Comment:
Patch looks good. Please apply (and backport to Gauss).