Re: [GHC] #5119: sync-all should have a resume option

2011-07-15 Thread GHC
#5119: sync-all should have a resume option -+-- Reporter: ezyang| Owner: Type: feature request | Status: new Priority: normal| Component:

Re: [GHC] #5119: sync-all should have a resume option

2011-07-15 Thread GHC
#5119: sync-all should have a resume option --+- Reporter: ezyang | Owner: Type: feature request | Status: closed Priority: normal |

[GHC] #5119: sync-all should have a resume option

2011-04-14 Thread GHC
#5119: sync-all should have a resume option -+-- Reporter: ezyang| Owner: Type: feature request | Status: new Priority: normal| Component: